X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fdir-rmdir.c;h=b3cbc6f2699af9f74a24419cf00796656095c7dc;hb=4ae5b30e5eb0be98521235060001c2d6d9828345;hp=38317dc7bcaad797a8e669483a33ca12d7118dc0;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/filesys/extended/dir-rmdir.c b/src/tests/filesys/extended/dir-rmdir.c
index 38317dc..b3cbc6f 100644
--- a/src/tests/filesys/extended/dir-rmdir.c
+++ b/src/tests/filesys/extended/dir-rmdir.c
@@ -1,3 +1,6 @@
+/* Creates and removes a directory, then makes sure that it's
+   really gone. */
+
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"