X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fsyn-read.c;h=cdc7f189b56dd3e91390b91c2c9d4ab40cd8b54c;hb=c36e5b768f46fc098377b9a70d2b1c02405ef14a;hp=d050db7dc4e798b2ec7c6910d9a8c9f16fcd12c7;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;p=pintos-anon

diff --git a/grading/filesys/syn-read.c b/grading/filesys/syn-read.c
index d050db7..cdc7f18 100644
--- a/grading/filesys/syn-read.c
+++ b/grading/filesys/syn-read.c
@@ -2,17 +2,17 @@
 #include <stdio.h>
 #include <syscall.h>
 #include "fslib.h"
+#include "syn-read.h"
 
 const char test_name[] = "syn-read";
 
-static char buf[1024];
+static char buf[BUF_SIZE];
 
 #define CHILD_CNT 10
 
 void
 test_main (void) 
 {
-  const char *filename = "data";
   pid_t children[CHILD_CNT];
   int fd;
   int i;
@@ -27,10 +27,9 @@ test_main (void)
   for (i = 0; i < CHILD_CNT; i++) 
     {
       char cmd_line[128];
-      snprintf (cmd_line, sizeof cmd_line,
-                "child-syn-read %d %zu", i, sizeof buf);
+      snprintf (cmd_line, sizeof cmd_line, "child-syn-read %d", i);
       check ((children[i] = exec (cmd_line)) != PID_ERROR,
-             "exec \"%s\"", cmd_line);
+             "exec child %d of %d: \"%s\"", i + 1, (int) CHILD_CNT, cmd_line);
     }
 
   for (i = 0; i < CHILD_CNT; i++)