diff options
| -rw-r--r-- | user/usertests.c | 7 |
1 files 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)); |