This commit is contained in:
Robert Morris 2019-10-27 08:03:19 -04:00
parent f2ab0eb644
commit d9160fb4b9
6 changed files with 12 additions and 10 deletions

View file

@ -2105,9 +2105,9 @@ run(void f(char *), char *s) {
} else {
wait(&xstatus);
if(xstatus != 0)
printf("FAILED\n", s);
printf("FAILED\n");
else
printf("OK\n", s);
printf("OK\n");
return xstatus == 0;
}
}