X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-two-files.c;fp=grading%2Ffilesys%2Fgrow-two-files.c;h=aa6820a122cf7ac922e7766d5cad1b6f5bb32a81;hb=0f5c19ccf179b35b39ae46dffec60592baeeec00;hp=8809c608aa59c22bd7a21096b581ddfe548d3c5c;hpb=943ba319b3bea3c187072c261a76c26eaa933537;p=pintos-anon

diff --git a/grading/filesys/grow-two-files.c b/grading/filesys/grow-two-files.c
index 8809c60..aa6820a 100644
--- a/grading/filesys/grow-two-files.c
+++ b/grading/filesys/grow-two-files.c
@@ -24,8 +24,8 @@ write_some_bytes (const char *filename, int fd, const char *buf, size_t *ofs)
     }
 }
 
-int
-main (void) 
+void
+test_main (void) 
 {
   int fd_a, fd_b;
   size_t ofs_a, ofs_b;
@@ -55,6 +55,4 @@ main (void)
 
   check_file ("a", buf_a, FILE_SIZE);
   check_file ("b", buf_b, FILE_SIZE);
-
-  return 0;
 }