X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=e6a9c98b4f13c7fe73946825afc5ac20d71d70ad;hb=c9933c8af7ba2af6aaccf381471bc757d78ce6b2;hp=f7c813184e6a1eddbbeb146f343ae674f207db31;hpb=59bbbf9d74b6c6b430c51def30a9e1437f5e14a1;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