aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-12-29 22:20:11 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-12-29 22:20:11 -0800
commit7c9d5f9db14da9aa8fee313d4e6e933b7ea3d109 (patch)
tree5006520387bb468cd389601f57750f1ebfe4d858
parent86fda06897ccd4d610410f920923c6e1f3e2bf3d (diff)
Use python3 for bench in Makefile.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 7110998..3468280 100644
--- a/Makefile
+++ b/Makefile
@@ -108,7 +108,7 @@ testziparchive: $(ZIPARCHIVE)
mkdir build && cd build && cmake .. && make && ctest -V
$(ALLTESTS): spec.txt
- python test/spec_tests.py --spec $< --dump-tests | python -c 'import json; import sys; tests = json.loads(sys.stdin.read()); print "\n".join([test["markdown"] for test in tests]).encode("utf-8")' > $@
+ 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]).encode("utf-8")' > $@
leakcheck: $(ALLTESTS)
cat $< | valgrind --leak-check=full --dsymutil=yes --error-exitcode=1 $(PROG) >/dev/null