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=8c839323e2f1c3f6243cdc49ceffed7483368447;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)"); }