X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Ffull.inc;h=25ffe7123fe26a816a8b501018702d3b68b22899;hb=beba0f33137daa8a51838a53bbfcacff5dc4caff;hp=32b7c8fb8e6c22a60c750ff30f3f25f35d744e56;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;p=pintos-anon

diff --git a/grading/filesys/full.inc b/grading/filesys/full.inc
index 32b7c8f..25ffe71 100644
--- a/grading/filesys/full.inc
+++ b/grading/filesys/full.inc
@@ -10,11 +10,10 @@ return_test_size (void)
   return TEST_SIZE;
 }
 
-int
-main (void) 
+void
+test_main (void) 
 {
-  msg ("begin");
-  seq_test ("quux", buf, sizeof buf, sizeof buf, 2, return_test_size, NULL);
-  msg ("end");
-  return 0;
+  seq_test ("quux",
+            buf, sizeof buf, sizeof buf,
+            return_test_size, NULL);
 }