X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=efea7a5078db3e7da0cb6621a588f4f0ed9b313f;hb=18654de05aa2c2fa2cc63e2c9c30b9dc536a33d7;hp=af04b414c667e9520a6d1943b5e32a69cd1a4105;hpb=8889319fb4af54a19a5c8bc93bec1ef13518e0ad;p=pintos-anon diff --git a/tests/Makefile b/tests/Makefile index af04b41..efea7a5 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -3,7 +3,7 @@ TESTS = threads p1-1 p1-2 p1-3 list stdlib userprog p2 vm filesys PATH := $(shell pwd)/../src/utils:$(PATH) all: - @echo This Makefile has only `check' targets. + @echo "This Makefile has only \`check' targets." check: $(MAKE) -C .. distclean @@ -91,7 +91,6 @@ userprog:: $(prep-grading) $(mk-sandbox) $(apply-patch) ../solutions/p1-2.patch - echo '#define THREAD_JOIN_IMPLEMENTED 1' > $@/pintos/src/constants.h $(run-tests) null $(clean)