projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix issue reported by Godmar Back:
[pintos-anon]
/
src
/
tests
/
Make.tests
diff --git
a/src/tests/Make.tests
b/src/tests/Make.tests
index 230e03af729c081789301318afaf3d5cbf4307d0..6595b468eeb7c04d90def8f781396b89a650f8ee 100644
(file)
--- a/
src/tests/Make.tests
+++ b/
src/tests/Make.tests
@@
-63,6
+63,7
@@
ifeq ($(filter userprog, $(KERNEL_SUBDIRS)), userprog)
TESTCMD += -f
endif
TESTCMD += $(if $($(TEST)_ARGS),run '$(*F) $($(TEST)_ARGS)',run $(*F))
+TESTCMD += < /dev/null
TESTCMD += 2> $(TEST).errors $(if $(VERBOSE),|tee,>) $(TEST).output
%.output: os.dsk
$(TESTCMD)