summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile6
1 files changed, 2 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 0bea9af..eb897d6 100644
--- a/Makefile
+++ b/Makefile
@@ -111,16 +111,14 @@ testtarball: $(TARBALL)
tar xvzf $(TARBALL); \
cd $(PKGDIR); \
mkdir build && cd build && cmake .. && make && \
- (ctest -V || \
- (cat build/Testing/Temporary/LastTest.log && exit 1))
+ (ctest || (cat build/Testing/Temporary/LastTest.log && exit 1))
testziparchive: $(ZIPARCHIVE)
rm -rf $(PKGDIR); \
unzip $(ZIPARCHIVE); \
cd $(PKGDIR); \
mkdir build && cd build && cmake .. && make && \
- (ctest -V || \
- (cat build/Testing/Temporary/LastTest.log && exit 1))
+ (ctest || (cat build/Testing/Temporary/LastTest.log && exit 1))
$(ALLTESTS): spec.txt
python3 test/spec_tests.py --spec $< --dump-tests | python3 -c 'import json; import sys; tests = json.loads(sys.stdin.read()); print("\n".join([test["markdown"] for test in tests]))' > $@