X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fseq-block.inc;h=9dc5d313e9864b77864ed340de01107599c2b6fe;hb=c0cd5f5c14152621ad5226d90d5ab1a2f48d5d9e;hp=e5424cd87be9ddab389f6aad6de2958ebe880407;hpb=6ebce2100b371612b554bf17a3ce613a4093df37;p=pintos-anon

diff --git a/grading/filesys/seq-block.inc b/grading/filesys/seq-block.inc
index e5424cd..9dc5d31 100644
--- a/grading/filesys/seq-block.inc
+++ b/grading/filesys/seq-block.inc
@@ -10,12 +10,10 @@ return_block_size (void)
   return BLOCK_SIZE;
 }
 
-int
-main (void) 
+void
+test_main (void) 
 {
-  msg ("begin");
-  seq_test ("noodle", buf, sizeof buf, sizeof buf, 4,
+  seq_test ("noodle",
+            buf, sizeof buf, sizeof buf,
             return_block_size, NULL);
-  msg ("end");
-  return 0;
 }