diff options
| author | Pjotr Prins | 2017-07-09 12:45:20 +0000 |
|---|---|---|
| committer | Pjotr Prins | 2017-07-09 12:45:20 +0000 |
| commit | 6cb25f227b0d42a1268c51542f96b9ffafba0bbb (patch) | |
| tree | 7674018b979ebe384a45cadc4c797e27b87824a2 | |
| parent | d92fc5359540d7c860140f74f9f905d83b24f82d (diff) | |
| download | pangemma-6cb25f227b0d42a1268c51542f96b9ffafba0bbb.tar.gz | |
Makefile: fix output on make check
| -rw-r--r-- | Makefile | 3 |
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) |