Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / filesys / dir-rmdir.c

diff --git a/grading/filesys/dir-rmdir.c b/grading/filesys/dir-rmdir.c
index ed9be6424281a2b0d6a6891993df184fb4f3123d..ca5893daa277ac139e9d66aa63159616d09d1c9d 100644 (file)
--- a/grading/filesys/dir-rmdir.c
+++ b/grading/filesys/dir-rmdir.c
@@ -6,7 +6,7 @@ const char test_name[] = "dir-rmdir";
 void
 test_main (void) 
 {
-  check (mkdir ("a"), "mkdir \"a\"");
-  check (remove ("a"), "rmdir \"a\"");
-  check (!chdir ("a"), "chdir \"a\" (must return false)");
+  CHECK (mkdir ("a"), "mkdir \"a\"");
+  CHECK (remove ("a"), "rmdir \"a\"");
+  CHECK (!chdir ("a"), "chdir \"a\" (must return false)");
 }