diff options
| author | Robert Morris <[email protected]> | 2019-10-27 08:03:19 -0400 |
|---|---|---|
| committer | Robert Morris <[email protected]> | 2019-10-27 08:03:19 -0400 |
| commit | d9160fb4b98e3ce04d3928c1fbd2ec26b3cc746a (patch) | |
| tree | fd89ac93ce4ee9a628307d2983c017c1a5510736 /user | |
| parent | f2ab0eb644a60f946f35fcb5578fba53720edfa7 (diff) | |
| download | xv6-labs-d9160fb4b98e3ce04d3928c1fbd2ec26b3cc746a.tar.gz xv6-labs-d9160fb4b98e3ce04d3928c1fbd2ec26b3cc746a.tar.bz2 xv6-labs-d9160fb4b98e3ce04d3928c1fbd2ec26b3cc746a.zip | |
nits
Diffstat (limited to 'user')
| -rw-r--r-- | user/usertests.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/user/usertests.c b/user/usertests.c index db9f680..eb10ee2 100644 --- a/user/usertests.c +++ b/user/usertests.c @@ -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; } } |