Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / filesys / dir-rm-parent.c

diff --git a/grading/filesys/dir-rm-parent.c b/grading/filesys/dir-rm-parent.c
index 9a2136ed381e6dae0f8efeab99e5e9d89ae87129..f71895aebc88adaafa9ef2a784e56a6ba35db808 100644 (file)
--- a/grading/filesys/dir-rm-parent.c
+++ b/grading/filesys/dir-rm-parent.c
@@ -6,10 +6,10 @@ const char test_name[] = "dir-rm-parent";
 void
 test_main (void) 
 {
-  check (mkdir ("a"), "mkdir \"a\"");
-  check (chdir ("a"), "chdir \"a\"");
-  check (mkdir ("b"), "mkdir \"b\"");
-  check (chdir ("b"), "chdir \"b\"");
+  CHECK (mkdir ("a"), "mkdir \"a\"");
+  CHECK (chdir ("a"), "chdir \"a\"");
+  CHECK (mkdir ("b"), "mkdir \"b\"");
+  CHECK (chdir ("b"), "chdir \"b\"");
   msg ("remove \"/b\" (must not crash)");
   remove ("/b");
   msg ("remove \"/a\" (must not crash)");