projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
random: Fix behavior of kernel option "-rs".
[pintos-anon]
/
src
/
tests
/
userprog
/
wait-killed.c
diff --git
a/src/tests/userprog/wait-killed.c
b/src/tests/userprog/wait-killed.c
index bc1e9c720c32db6d9cbedc571ce3c9b82a14366d..6a2a6b52d1c82112e184f29c23b7fc0eec6e37df 100644
(file)
--- a/
src/tests/userprog/wait-killed.c
+++ b/
src/tests/userprog/wait-killed.c
@@
-1,3
+1,5
@@
+/* Wait for a process that will be killed for bad behavior. */
+
#include <syscall.h>
#include "tests/lib.h"
#include "tests/main.h"