Get rid of unnecessary barrier. Improve comment.

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

diff --git a/grading/filesys/full.inc b/grading/filesys/full.inc
index 32b7c8fb8e6c22a60c750ff30f3f25f35d744e56..25ffe7123fe26a816a8b501018702d3b68b22899 100644 (file)
--- 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);
 }