Get rid of unnecessary barrier. Improve comment.

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

diff --git a/grading/filesys/dir-rm-cwd.c b/grading/filesys/dir-rm-cwd.c
index 2754850a702050e5cde7afc1cb3d3c2091db54f0..f99983be6f333dc1ad729cb9a150db7290468173 100644 (file)
--- a/grading/filesys/dir-rm-cwd.c
+++ b/grading/filesys/dir-rm-cwd.c
@@ -6,8 +6,8 @@ const char test_name[] = "dir-rm-cwd";
 void
 test_main (void) 
 {
-  check (mkdir ("a"), "mkdir \"a\"");
-  check (chdir ("a"), "chdir \"a\"");
+  CHECK (mkdir ("a"), "mkdir \"a\"");
+  CHECK (chdir ("a"), "chdir \"a\"");
   msg ("remove \"/a\" (must not crash)");
   remove ("/a");
   msg ("create \"b\" (must not crash)");