Ignore more files.

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

diff --git a/grading/filesys/random.inc b/grading/filesys/random.inc
index e821a599e41a9a96579623b422718c866020f1bf..e7205748aec8b87e4b72ca5e1826a3742899ec47 100644 (file)
--- a/grading/filesys/random.inc
+++ b/grading/filesys/random.inc
@@ -15,14 +15,12 @@
 char buf[TEST_SIZE];
 int order[BLOCK_CNT];
 
-int
-main (void) 
+void
+test_main (void) 
 {
   int fd;
   size_t i;
 
-  msg ("begin");
-
   random_init (57);
   random_bytes (buf, sizeof buf);
 
@@ -64,7 +62,4 @@ main (void)
 
   fail ("close \"bazzle\"");
   close (fd);
-
-  msg ("end");
-  return 0;
 }