From: Ben Pfaff Date: Mon, 4 Dec 2006 19:14:26 +0000 (+0000) Subject: Use mkdir, not create. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=76b1077e10f14002ab7dc68fa262739a92e51c53;p=pintos-anon Use mkdir, not create. Thanks to "Yuriy" for reporting this bug. --- diff --git a/src/tests/filesys/extended/dir-empty-name.c b/src/tests/filesys/extended/dir-empty-name.c index 43bc5e6..c4859d2 100644 --- a/src/tests/filesys/extended/dir-empty-name.c +++ b/src/tests/filesys/extended/dir-empty-name.c @@ -8,5 +8,5 @@ void test_main (void) { - CHECK (!create ("", 0), "create \"\" (must return false)"); + CHECK (!mkdir (""), "mkdir \"\" (must return false)"); }