aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPjotr Prins2017-07-09 12:45:20 +0000
committerPjotr Prins2017-07-09 12:45:20 +0000
commit6cb25f227b0d42a1268c51542f96b9ffafba0bbb (patch)
tree7674018b979ebe384a45cadc4c797e27b87824a2 /Makefile
parentd92fc5359540d7c860140f74f9f905d83b24f82d (diff)
downloadpangemma-6cb25f227b0d42a1268c51542f96b9ffafba0bbb.tar.gz
Makefile: fix output on make check
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 748c4f2..3e8276e 100644
--- a/Makefile
+++ b/Makefile
@@ -102,7 +102,8 @@ $(OBJS) : $(HDR)
.SUFFIXES : .cpp .c .o $(SUFFIXES)
check: all
- cd test && ./test_suite.sh | grep -q 'success rate: 100%'
+ cd test && ./test_suite.sh | tee ../test.log
+ grep -q 'success rate: 100%' test.log
clean:
rm -rf ${SRC_DIR}/*.o ${SRC_DIR}/*~ *~ $(OUTPUT)