Get rid of unnecessary barrier. Improve comment.
[pintos-anon] / grading / filesys / create.inc
index d378fe38ef01ef4df9455362565c7884a3ca98a5..71b52fbae7842e133306b084890815a1beeec87c 100644 (file)
@@ -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);
 }