diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -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]))' > $@ |