X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fcreate.inc;h=71b52fbae7842e133306b084890815a1beeec87c;hb=654121cfc127bc8e1e9aa8859c2d68f0dc4330cb;hp=3e8a9b561ff316f4247e01b6ef26c6d72d26eabd;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/create.inc b/grading/filesys/create.inc
index 3e8a9b5..71b52fb 100644
--- a/grading/filesys/create.inc
+++ b/grading/filesys/create.inc
@@ -9,6 +9,7 @@ static char buf[TEST_SIZE];
 void
 test_main (void) 
 {
-  check (create ("testfile", TEST_SIZE), "create testfile");
-  check_file ("testfile", buf, TEST_SIZE);
+  const char *filename = "blargle";
+  CHECK (create (filename, TEST_SIZE), "create \"%s\"", filename);
+  check_file (filename, buf, TEST_SIZE);
 }