diff options
Diffstat (limited to 'test/monniaux/Makefile')
-rw-r--r-- | test/monniaux/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index af4f039f..e099ed51 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -22,10 +22,10 @@ measures.csv: bash run_benches.sh $@ compile_times.pdf: gencompile.py verifier_times.txt oracle_times.txt - python3.6 $^ $@ + python3.5 $^ $@ measure_times.k1c.pdf: gengraphs.py measures.csv - python3.6 $^ $(basename $(basename $@)) + python3.5 $^ $(basename $(basename $@)) .PHONY: clean: |