From fa0271962d23a06ae2456d88291409cb27f3076a Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Thu, 20 Jun 2019 15:21:35 +0200
Subject: Using Python3.5 instead of Python3.6 (python3.6 not installed on
 carlit)

---
 test/monniaux/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/monniaux/Makefile')

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:
-- 
cgit