X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-file-size.c;h=cf36c178fb152c4dd10a8fe8cb88a4329e234ba9;hb=beba0f33137daa8a51838a53bbfcacff5dc4caff;hp=b92ec5b2348537148ceec9e1df528dc5255634cb;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;p=pintos-anon

diff --git a/grading/filesys/grow-file-size.c b/grading/filesys/grow-file-size.c
index b92ec5b..cf36c17 100644
--- a/grading/filesys/grow-file-size.c
+++ b/grading/filesys/grow-file-size.c
@@ -21,12 +21,10 @@ check_file_size (int fd, long ofs)
           ofs, size);
 }
 
-int
-main (void) 
+void
+test_main (void) 
 {
-  msg ("begin");
-  seq_test ("testfile", buf, sizeof buf, 0, 0,
+  seq_test ("testfile",
+            buf, sizeof buf, 0,
             return_block_size, check_file_size);
-  msg ("end");
-  return 0;
 }