X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fdir-empty-name.c;h=c4859d20c77ec296f9cbcbb87d3419b1bb9c6eed;hp=43bc5e6489d6cd072caea8bf2ab975dd860a9f56;hb=8c839323e2f1c3f6243cdc49ceffed7483368447;hpb=cf90ac565e9533a17c5d4edff1e250a312396184 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)"); }