X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-tree.c;h=9bfd8ba3f028352b65827b5e73339fd338211b78;hb=a8523360174b78e51bf25b93c01d546faac33d84;hp=24cc21f21f5217e2ca47fbb593f975266bc04d3b;hpb=c36e5b768f46fc098377b9a70d2b1c02405ef14a;p=pintos-anon

diff --git a/grading/filesys/dir-rm-tree.c b/grading/filesys/dir-rm-tree.c
index 24cc21f..9bfd8ba 100644
--- a/grading/filesys/dir-rm-tree.c
+++ b/grading/filesys/dir-rm-tree.c
@@ -43,7 +43,7 @@ remove_tree (int at, int bt, int ct, int dt)
   quiet = false;
 
   snprintf (try, sizeof (try), "/%d/%d/%d/%d", at - 1, 0, ct - 1, 0);
-  check (open (try) == -1, "open \"%s\" (must return -1)", try);
+  CHECK (open (try) == -1, "open \"%s\" (must return -1)", try);
 }
 
 static void
@@ -56,5 +56,5 @@ do_remove (const char *format, ...)
   vsnprintf (name, sizeof name, format, args);
   va_end (args);
 
-  check (remove (name), "remove \"%s\"", name);
+  CHECK (remove (name), "remove \"%s\"", name);
 }