Implement a proper block layer with partition support.

[pintos-anon] / src / tests / userprog / open-twice.c

diff --git a/src/tests/userprog/open-twice.c b/src/tests/userprog/open-twice.c
index c8841917456cb39e35a9c547aa11a9873757e027..dd333af1c1ad3ec91757736d75d3948d5366896a 100644 (file)
--- a/src/tests/userprog/open-twice.c
+++ b/src/tests/userprog/open-twice.c
@@ -1,3 +1,7 @@
+/* Tries to open the same file twice,
+   which must succeed and must return a different file descriptor
+   in each case. */
+
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"