X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fcreate.inc;h=3e8a9b561ff316f4247e01b6ef26c6d72d26eabd;hb=0f5c19ccf179b35b39ae46dffec60592baeeec00;hp=d378fe38ef01ef4df9455362565c7884a3ca98a5;hpb=6ebce2100b371612b554bf17a3ce613a4093df37;p=pintos-anon

diff --git a/grading/filesys/create.inc b/grading/filesys/create.inc
index d378fe3..3e8a9b5 100644
--- a/grading/filesys/create.inc
+++ b/grading/filesys/create.inc
@@ -6,12 +6,9 @@
 
 static char buf[TEST_SIZE];
 
-int
-main (void) 
+void
+test_main (void) 
 {
-  msg ("begin");
   check (create ("testfile", TEST_SIZE), "create testfile");
   check_file ("testfile", buf, TEST_SIZE);
-  msg ("end");
-  return 0;
 }