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

[pintos-anon] / tests / Makefile

diff --git a/tests/Makefile b/tests/Makefile
index 4771be08e0f344a8032012da3f3e568e6185372a..4bdd5977703616563a802edd382f0f7f9667764d 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -3,10 +3,13 @@ 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
+       $(MAKE) check-noclean
+
+check-noclean:
        for d in $(TESTS); do $(MAKE) $$d || exit 1; done
        @echo All tests passed.