X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Ftests%2Ffilesys%2Fextended%2Fdir-rm-tree.c;h=bab41a66d184670f79bdd7e64c7840a0a42f52dc;hb=086c09c08365eb549d855a095ced103a9c155fde;hp=c4186f9633ad56734fd0ada1c878c2add47852b0;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/filesys/extended/dir-rm-tree.c b/src/tests/filesys/extended/dir-rm-tree.c
index c4186f9..bab41a6 100644
--- a/src/tests/filesys/extended/dir-rm-tree.c
+++ b/src/tests/filesys/extended/dir-rm-tree.c
@@ -1,3 +1,6 @@
+/* Creates directories /0/0/0 through /3/2/2 and files in the
+   leaf directories, then removes them. */
+
 #include <stdarg.h>
 #include <stdio.h>
 #include <syscall.h>