X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2FMake.tests;h=9cb992bda4b48b8b288f7d877e4142d0ea536336;hb=73389b59f54bfed8eb0cb370a5ffec1223686a9e;hp=44e8d5e495b91fb5a6727b99f3ebc8124f9c8da9;hpb=0e3b7c61359944fe6282f783a7bc5f3c7b78790a;p=pintos-anon

diff --git a/src/tests/Make.tests b/src/tests/Make.tests
index 44e8d5e..9cb992b 100644
--- 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))