X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2FMake.tests;h=6595b468eeb7c04d90def8f781396b89a650f8ee;hb=837e5b7fb902bd749106309ef76a5276c73ca34c;hp=230e03af729c081789301318afaf3d5cbf4307d0;hpb=f14d80c05e67af1545779f038d9f47dec2188fc3;p=pintos-anon

diff --git a/src/tests/Make.tests b/src/tests/Make.tests
index 230e03a..6595b46 100644
--- 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)