@@ -1,3 +1,3 @@
/* This file is automatically generated. Edits will be lost.*/
-const int buildversion = 71;
+const int buildversion = 72;
const char buildconfig[] = "ASST2";
@@ -1 +1 @@
-71
+72
@@ -139,7 +139,6 @@ void sys__exit(int exitcode)
proc_destroy(p);
}
- kprintf("curproc is: %p", curproc);
/* if this is the last user process in the system, proc_destroy()
will wake up the kernel menu thread */
//proc_destroy(p);