From 0541343719a382bce51619839344652d73453f37 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 28 Mar 2019 13:36:57 +0100
Subject: some more inline

---
 test/monniaux/rules.mk | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'test/monniaux/rules.mk')

diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk
index eec216bd..fcd6ed0a 100644
--- a/test/monniaux/rules.mk
+++ b/test/monniaux/rules.mk
@@ -10,6 +10,7 @@ K1C_CCOMP = ../../../ccomp
 K1C_CCOMPFLAGS=-O3 -Wall -Wno-c11-extensions -fno-unprototyped # -fpostpass-ilp
 
 EXECUTE=k1-cluster --syscall=libstd_scalls.so --
+EXECUTE_CYCLES=k1-cluster --syscall=libstd_scalls.so --cycle-based --
 
 %.gcc.host.o : %.gcc.host.s
 	$(CC) $(CFLAGS) -c -o $@ $<
@@ -48,7 +49,7 @@ EXECUTE=k1-cluster --syscall=libstd_scalls.so --
 	$(CCOMP) $(CCOMPFLAGS) $+ -o $@
 
 %.k1c.out : %.k1c
-	k1-cluster --cycle-based -- $< |tee $@
+	$(EXECUTE_CYCLES) $< $(EXECUTE_ARGS) |tee $@
 
 %.host.out : %.host
-	./$< |tee $@
+	./$< $(EXECUTE_ARGS) |tee $@
-- 
cgit