no need to halt after benchmarks since we are no longer using mtrace

a840af36 · Nickolai Zeldovich · 9e2a60cb · a840af36 · a840af36 · a840af36
--- a/forkexectree.c
+++ b/forkexectree.c
@@ -52,7 +52,7 @@ forktree(int depth)
  mtdisable("xv6-forkexectree");
  printf(1, "%d: forkexectree OK\n", getpid());
-  halt();
+  // halt();
 }
 int

--- a/forktest.c
+++ b/forktest.c
@@ -54,7 +54,7 @@ forktest(void)
  mtrace_enable_set(0, "xv6-forktest");
  printf(1, "fork test OK\n");
-  halt();
+  // halt();
 }
 int

--- a/forktree.c
+++ b/forktree.c
@@ -51,7 +51,7 @@ forktree(void)
  mtdisable("xv6-forktree");
  printf(1, "%d: fork tree OK\n", getpid());
-  halt();
+  // halt();
 }
 int

--- a/mapbench.c
+++ b/mapbench.c
@@ -72,6 +72,6 @@ main(void)
    wait();
  mtdisable("xv6-mapbench");
-  halt();
+  // halt();
  exit();
 }