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

diff --git a/grading/filesys/create.inc b/grading/filesys/create.inc
index d378fe3..71b52fb 100644
--- a/grading/filesys/create.inc
+++ b/grading/filesys/create.inc
@@ -6,12 +6,10 @@
 
 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;
+  const char *filename = "blargle";
+  CHECK (create (filename, TEST_SIZE), "create \"%s\"", filename);
+  check_file (filename, buf, TEST_SIZE);
 }