projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Wording improvements.
[pintos-anon]
/
grading
/
filesys
/
dir-rm-root.c
diff --git
a/grading/filesys/dir-rm-root.c
b/grading/filesys/dir-rm-root.c
index 2922824e4bd11e1038056c194f9737369f7ad90e..7489507561cc612651ce7392583afd00c70d8dd5 100644
(file)
--- a/
grading/filesys/dir-rm-root.c
+++ b/
grading/filesys/dir-rm-root.c
@@
-6,6
+6,6
@@
const char test_name[] = "dir-rm-root";
void
test_main (void)
{
-
check
(!remove ("/"), "remove \"/\" (must return false)");
-
check
(create ("/a", 243), "create \"/a\"");
+
CHECK
(!remove ("/"), "remove \"/\" (must return false)");
+
CHECK
(create ("/a", 243), "create \"/a\"");
}