diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 15:18:55 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 15:18:55 +0200 |
commit | 059664368a5f4ed036e87c0a5e0ed1fae1706f3d (patch) | |
tree | bb788ef69c4fca167bdae1609d2e929094480f6e /test/c/Makefile | |
parent | f0f25eabe5b374f20a5db30f652f6e994fff3fb3 (diff) | |
download | compcert-kvx-059664368a5f4ed036e87c0a5e0ed1fae1706f3d.tar.gz compcert-kvx-059664368a5f4ed036e87c0a5e0ed1fae1706f3d.zip |
Reducing further the input size of the tests
Diffstat (limited to 'test/c/Makefile')
-rw-r--r-- | test/c/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index 31bf3cd1..b2d83352 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -4,7 +4,7 @@ CCOMP=../../ccomp CCOMPFLAGS=$(CCOMPOPTS) -stdlib ../../runtime -dc -dclight -dasm CFLAGS+=-O2 -Wall -EXECUTE:=timeout --signal=SIGTERM 90s $(EXECUTE) +EXECUTE:=timeout --signal=SIGTERM 20s $(EXECUTE) LIBS=$(LIBMATH) @@ -45,7 +45,7 @@ test: all $(EXECUTE) ./$$i.compcert > $$i.compcert.out;\ if cmp -s $$i.compcert.out Results/$$i; \ then echo "$$i: passed"; \ - else echo "$$i: FAILED"; exit 2; \ + else echo "$$i: FAILED"; \ fi; \ done |