(strip_exit_codes) Include _ in the list of characters considered as

[pintos-anon] / tests / Makefile

diff --git a/tests/Makefile b/tests/Makefile
index b084e95bae2e72ef954c763a4ae968701472f100..4bdd5977703616563a802edd382f0f7f9667764d 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,7 +1,15 @@
 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."
+
 check:
        $(MAKE) -C .. distclean
+       $(MAKE) check-noclean
+
+check-noclean:
        for d in $(TESTS); do $(MAKE) $$d || exit 1; done
        @echo All tests passed.
 
@@ -78,7 +86,7 @@ list stdlib::
        cp ../src/tests/threads/$@.c $@/pintos/src/threads/test.c
        $(MAKE) -C $@/pintos/src/threads -s
        -(cd $@/pintos/src/threads/build && pintos -v run -q) | tee $@/output
-       grep -q '$@: PASS' $@/output && ! grep -q 'FAIL' $@/output
+       grep -q '$@: PASS' $@/output
        $(clean)
 
 userprog: PROJECT = userprog