X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=e6a9c98b4f13c7fe73946825afc5ac20d71d70ad;hb=4742fa3312bdc0d43cd8a11775c7605a9f57eb5a;hp=f7c813184e6a1eddbbeb146f343ae674f207db31;hpb=7f022bbe1d53e8416a05f0f9e5b4cdd9b19f7806;p=pintos-anon diff --git a/tests/Makefile b/tests/Makefile index f7c8131..e6a9c98 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -1,5 +1,7 @@ TESTS = threads p1-1 p1-2 p1-3 list stdlib userprog p2 vm filesys +PATH := $(shell pwd)/../src/utils:$(PATH) + check: $(MAKE) -C .. distclean for d in $(TESTS); do $(MAKE) $$d || exit 1; done