pintos-os.org Git - pintos-anon/blob - grading/filesys/grow-dir.inc

   1 /* -*- c -*- */
   2
   3 #include <syscall.h>
   4 #include <stdio.h>
   5 #include "fslib.h"
   6
   7 static char buf[512];
   8
   9 static size_t
  10 return_block_size (void)
  11 {
  12   return sizeof buf;
  13 }
  14
  15 int
  16 main (void)
  17 {
  18   size_t i;
  19
  20   msg ("begin");
  21 #ifdef DIRECTORY
  22   check (mkdir (DIRECTORY), "mkdir %s", DIRECTORY);
  23 #define DIR_PREFIX DIRECTORY "/"
  24 #else
  25 #define DIR_PREFIX ""
  26 #endif
  27   for (i = 0; i < FILE_CNT; i++)
  28     {
  29       char filename[128];
  30       snprintf (filename, sizeof filename, "%sfile%zu", DIR_PREFIX, i);
  31
  32       msg ("creating and checking \"%s\"", filename);
  33
  34       quiet = true;
  35       seq_test (filename, buf, sizeof buf, sizeof buf, 0,
  36                 return_block_size, NULL);
  37       quiet = false;
  38     }
  39   msg ("end");
  40   return 0;
  41 }