From ba1c42849ac4b1b8f845213f553d629e631471d7 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Thu, 19 Sep 2019 15:39:05 -0400
Subject: [PATCH] print name at start of test

---
 user/usertests.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/user/usertests.c b/user/usertests.c
index 37d61f3..0042fe7 100644
--- a/user/usertests.c
+++ b/user/usertests.c
@@ -1915,6 +1915,7 @@ run(void f(char *), char *s) {
   int pid;
   int xstatus;
   
+  printf("test %s: ", s);
   if((pid = fork()) < 0) {
     printf("runtest: fork error\n");
     exit(1);
@@ -1925,9 +1926,9 @@ run(void f(char *), char *s) {
   } else {
     wait(&xstatus);
     if(xstatus != 0) 
-      printf("test %s FAILED\n", s);
+      printf("FAILED\n", s);
     else
-      printf("test %s OK\n", s);
+      printf("OK\n", s);
     return xstatus == 0;
   }
 }
@@ -1988,7 +1989,7 @@ main(int argc, char *argv[])
   printf("usertests starting\n");
 
   if(open("usertests.ran", 0) >= 0){
-    printf("already ran user tests -- rebuild fs.img (make fs.img)\n");
+    printf("already ran user tests -- rebuild fs.img (rm fs.img; make fs.img)\n");
     exit(1);
   }
   close(open("usertests.ran", O_CREATE));