Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / filesys / grow-dir.inc

diff --git a/grading/filesys/grow-dir.inc b/grading/filesys/grow-dir.inc
index df3cbdfd881fcb9861f81d77aa77e049a2707bd6..4a764f16ce09dc25cad3c87635dd8b6186118e31 100644 (file)
--- a/grading/filesys/grow-dir.inc
+++ b/grading/filesys/grow-dir.inc
@@ -12,14 +12,13 @@ return_block_size (void)
   return sizeof buf;
 }
 
-int
-main (void) 
+void
+test_main (void) 
 {
   size_t i;
   
-  msg ("begin");
 #ifdef DIRECTORY
-  check (mkdir (DIRECTORY), "mkdir %s", DIRECTORY);
+  CHECK (mkdir (DIRECTORY), "mkdir %s", DIRECTORY);
 #define DIR_PREFIX DIRECTORY "/"
 #else
 #define DIR_PREFIX ""
@@ -32,10 +31,9 @@ main (void)
       msg ("creating and checking \"%s\"", filename);
 
       quiet = true;
-      seq_test (filename, buf, sizeof buf, sizeof buf, 0,
+      seq_test (filename,
+                buf, sizeof buf, sizeof buf,
                 return_block_size, NULL); 
       quiet = false;
     }
-  msg ("end");
-  return 0;
 }