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
/
threads
/
Make.vars
diff --git
a/src/threads/Make.vars
b/src/threads/Make.vars
index 1c90f59f84d517c00d21d3d8370329d7b851da20..310c240748ed69c653b97a88f828e6d0bb8b1a9a 100644
(file)
--- a/
src/threads/Make.vars
+++ b/
src/threads/Make.vars
@@
-1,6
+1,7
@@
# -*- makefile -*-
-
os.dsk
: DEFINES =
+
kernel.bin
: DEFINES =
KERNEL_SUBDIRS = threads devices lib lib/kernel $(TEST_SUBDIRS)
TEST_SUBDIRS = tests/threads
GRADING_FILE = $(SRCDIR)/tests/threads/Grading
+SIMULATOR = --bochs