X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-seq.inc;h=8a32cd04c258269e90bf7182db36923bf7d06ec8;hb=d64618b9f5ecb25d4805650a85cafea0bbe95b05;hp=2c0e3bacab7f1ab136972fd3ed645ba0af62af64;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;p=pintos-anon

diff --git a/grading/filesys/grow-seq.inc b/grading/filesys/grow-seq.inc
index 2c0e3ba..8a32cd0 100644
--- a/grading/filesys/grow-seq.inc
+++ b/grading/filesys/grow-seq.inc
@@ -10,11 +10,10 @@ return_block_size (void)
   return 1234;
 }
 
-int
-main (void) 
+void
+test_main (void) 
 {
-  msg ("begin");
-  seq_test ("testme", buf, sizeof buf, 0, 3, return_block_size, NULL);
-  msg ("end");
-  return 0;
+  seq_test ("testme",
+            buf, sizeof buf, 0,
+            return_block_size, NULL);
 }