diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-11-19 16:57:36 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-11-19 16:57:36 +0100 |
commit | c3223c26f4d0b9deb3c099d87b7812413cf279e4 (patch) | |
tree | 1ff5071e022c941e08ed518394981fd677976689 /test/monniaux/rules.mk | |
parent | e47bea1b9f99f78f92079a91aa23b2b01a8f23e9 (diff) | |
download | compcert-kvx-c3223c26f4d0b9deb3c099d87b7812413cf279e4.tar.gz compcert-kvx-c3223c26f4d0b9deb3c099d87b7812413cf279e4.zip |
Fixing zlib
Diffstat (limited to 'test/monniaux/rules.mk')
-rw-r--r-- | test/monniaux/rules.mk | 1 |
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 |