projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
When a Pintos run times out, report the load average.
[pintos-anon]
/
grading
/
filesys
/
fslib.c
diff --git
a/grading/filesys/fslib.c
b/grading/filesys/fslib.c
index 78e168a96af36cadc723c326fd711b21922949b4..be17f298d73a89587eee0a00c212ca084f89f166 100644
(file)
--- a/
grading/filesys/fslib.c
+++ b/
grading/filesys/fslib.c
@@
-196,7
+196,7
@@
join_children (pid_t pids[], size_t child_cnt)
{
int status = join (pids[i]);
CHECK (status == (int) i,
- "join child %zu of %zu returned %d (expected %
d
)",
+ "join child %zu of %zu returned %d (expected %
zu
)",
i + 1, child_cnt, status, i);
}
}