X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fdir-under-file.c;h=973a8b1e9b3703db11aba83071d2d3f2c79bdfb4;hb=59f738d500f51ffc5f487344865b8bed69c26281;hp=88a633b8ee2789c5785d5a2edc5db96698b8c67c;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon diff --git a/src/tests/filesys/extended/dir-under-file.c b/src/tests/filesys/extended/dir-under-file.c index 88a633b..973a8b1 100644 --- a/src/tests/filesys/extended/dir-under-file.c +++ b/src/tests/filesys/extended/dir-under-file.c @@ -1,3 +1,6 @@ +/* Tries to create a directory with the same name as an existing + file, which must return failure. */ + #include #include "tests/lib.h" #include "tests/main.h"