random: Fix behavior of kernel option "-rs".

[pintos-anon] / src / tests / userprog / write-zero.c

diff --git a/src/tests/userprog/write-zero.c b/src/tests/userprog/write-zero.c
index 4634e5bf1cde47cd0b9883fab0596f69cf9c6db4..d8dac9bc1058c8378e638214403e30ca50d66aa1 100644 (file)
--- a/src/tests/userprog/write-zero.c
+++ b/src/tests/userprog/write-zero.c
@@ -1,3 +1,6 @@
+/* Try a 0-byte write, which should return 0 without writing
+   anything. */
+
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"