diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-23 14:27:41 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-23 14:27:41 +0200 |
commit | 1161685f66ff5cae614ad7924ed4be1aabba6ef8 (patch) | |
tree | 083f254b736a2f028da3766cb3c1bf96201a799d | |
parent | 6922db8bad2aa8b85f5f7c0f85f90974809f3986 (diff) | |
parent | 2789e6179af061381f5b18a268adb562b28bcb8e (diff) | |
download | compcert-kvx-1161685f66ff5cae614ad7924ed4be1aabba6ef8.tar.gz compcert-kvx-1161685f66ff5cae614ad7924ed4be1aabba6ef8.zip |
Merge remote-tracking branch 'origin/kvx-work' into csmith
-rw-r--r-- | test/monniaux/csmith/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index e97f43a2..1412921d 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -6,11 +6,11 @@ INCLUDES=-I csmith/include/csmith-2.3.0/ TARGET_CCOMP=../../../ccomp ifndef TARGET_CC -TARGET_CC=kvx-cos-gcc +TARGET_CC=gcc endif ifndef EXECUTE -EXECUTE=timeout 10s kvx-cluster -- +EXECUTE=timeout 10s endif CFLAGS += -Wno-incompatible-pointer-types |