Make the default simulator qemu for project 2...4,

[pintos-anon] / src / tests / Make.tests

diff --git a/src/tests/Make.tests b/src/tests/Make.tests
index 44e8d5e495b91fb5a6727b99f3ebc8124f9c8da9..9cb992bda4b48b8b288f7d877e4142d0ea536336 100644 (file)
--- a/src/tests/Make.tests
+++ b/src/tests/Make.tests
@@ -12,7 +12,7 @@ PINTOSFLAGS += -v -T $(TIMEOUT)                                               \
        $(foreach file,$(PUTFILES),-p $(file) -a $(notdir $(file)))
 KERNELFLAGS += -q
 
-PINTOS = pintos $(PINTOSOPTS) $(PINTOSFLAGS) -- $(KERNELFLAGS)
+PINTOS = pintos $(SIMULATOR) $(PINTOSOPTS) $(PINTOSFLAGS) -- $(KERNELFLAGS)
 
 OUTPUTS = $(addsuffix .output,$(TESTS))
 ERRORS = $(addsuffix .errors,$(TESTS))