aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/rules.mk
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-11-19 16:57:36 +0100
committerCyril SIX <cyril.six@kalray.eu>2019-11-19 16:57:36 +0100
commitc3223c26f4d0b9deb3c099d87b7812413cf279e4 (patch)
tree1ff5071e022c941e08ed518394981fd677976689 /test/monniaux/rules.mk
parente47bea1b9f99f78f92079a91aa23b2b01a8f23e9 (diff)
downloadcompcert-kvx-c3223c26f4d0b9deb3c099d87b7812413cf279e4.tar.gz
compcert-kvx-c3223c26f4d0b9deb3c099d87b7812413cf279e4.zip
Fixing zlib
Diffstat (limited to 'test/monniaux/rules.mk')
-rw-r--r--test/monniaux/rules.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk
index 6cb63235..7546f517 100644
--- a/test/monniaux/rules.mk
+++ b/test/monniaux/rules.mk
@@ -28,6 +28,7 @@ K1C_CC?=k1-cos-gcc
K1C_CCOMP?=ccomp
# Command to execute
+#EXECUTE_CYCLES?=timeout --signal=SIGTERM 3m k1-cluster --syscall=libstd_scalls.so --cycle-based --
EXECUTE_CYCLES?=k1-cluster --syscall=libstd_scalls.so --cycle-based --
# You can define up to GCC4FLAGS and CCOMP4FLAGS