diff options
Diffstat (limited to 'test/monniaux/csmith/Makefile')
| -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 |