debugging prints

diff --git a/usertests.c b/usertests.c
index 17c70445818b359d3e2ab5430977d5f6c3ff596d..2b35b8f10230aca6f446e578f274f1fdf9bd3ad8 100644 (file)
--- a/usertests.c
+++ b/usertests.c
@@ -256,6 +256,7 @@ preempt(void)
   int pid1, pid2, pid3;
   int pfds[2];
 
+  printf(1, "preempt: ");
   pid1 = fork();
   if(pid1 == 0)
     for(;;)
@@ -283,9 +284,11 @@ preempt(void)
     return;
   }
   close(pfds[0]);
+  printf(1, "kill... ");
   kill(pid1);
   kill(pid2);
   kill(pid3);
+  printf(1, "wait... ");
   wait();
   wait();
   wait();