X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-dir.inc;h=4a764f16ce09dc25cad3c87635dd8b6186118e31;hb=1c2b347fd2b3b1d9f78cc2a40160dfb2a23a9bd9;hp=df3cbdfd881fcb9861f81d77aa77e049a2707bd6;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;p=pintos-anon

diff --git a/grading/filesys/grow-dir.inc b/grading/filesys/grow-dir.inc
index df3cbdf..4a764f1 100644
--- 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;
 }