diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-10-16 12:16:52 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-10-16 12:16:52 +0200 |
commit | b0d9d7bea68ee9443d2cd6d887e433575c2aed10 (patch) | |
tree | 371ea9de26e8b09c3a2d75a5933cb307dde76a76 /test/kvx | |
parent | f66cf1df3051d93ca0b3c5fa885a17f872f2fa13 (diff) | |
download | compcert-kvx-b0d9d7bea68ee9443d2cd6d887e433575c2aed10.tar.gz compcert-kvx-b0d9d7bea68ee9443d2cd6d887e433575c2aed10.zip |
test/kvx/sort : timeout of 20s instead of 10s
Diffstat (limited to 'test/kvx')
-rw-r--r-- | test/kvx/sort/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/kvx/sort/Makefile b/test/kvx/sort/Makefile index 1afab6e9..46a8f025 100644 --- a/test/kvx/sort/Makefile +++ b/test/kvx/sort/Makefile @@ -3,7 +3,7 @@ CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 SIMU ?= kvx-mppa -TIMEOUT ?= 10s +TIMEOUT ?= 20s KVXCPATH=$(shell which $(KVXC)) CCPATH=$(shell which $(CC)) |