More filesys tests.

[pintos-anon] / grading / filesys / create.inc

diff --git a/grading/filesys/create.inc b/grading/filesys/create.inc
index d378fe38ef01ef4df9455362565c7884a3ca98a5..3e8a9b561ff316f4247e01b6ef26c6d72d26eabd 100644 (file)
--- 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;
 }