X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Frandom.inc;h=e7205748aec8b87e4b72ca5e1826a3742899ec47;hb=cd2dae1c5d09675dcd1b7ba48632bbd4e8f27049;hp=e821a599e41a9a96579623b422718c866020f1bf;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;p=pintos-anon

diff --git a/grading/filesys/random.inc b/grading/filesys/random.inc
index e821a59..e720574 100644
--- 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;
 }