From 124cd837a591df308221f236810c7f66847b1abe Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Fri, 17 Sep 2021 19:18:05 +0200
Subject: target cc

---
 test/monniaux/csmith/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile
index e6475fa2..f4b0d68a 100644
--- a/test/monniaux/csmith/Makefile
+++ b/test/monniaux/csmith/Makefile
@@ -4,7 +4,10 @@ all:
 
 INCLUDES=-I csmith/include/csmith-2.3.0/
 TARGET_CCOMP=../../../ccomp
+
+ifndef TARGET_CC
 TARGET_CC=kvx-cos-gcc
+endif
 
 ifndef EXECUTE
 EXECUTE=timeout 10s kvx-cluster --
@@ -21,7 +24,7 @@ MAX=10000
 PREFIX=ran%06.f
 
 CCOMPOTS=-static
-CCOMPFLAGS+= -fstruct-passing -fbitfields -fno-cse2 -stdlib ../../../runtime
+CCOMPFLAGS+= -fstruct-passing -fbitfields -fno-cse2 -fno-cse -fno-cse3 -stdlib ../../../runtime
 
 TESTS_C=$(shell seq --format $(PREFIX)/source.c 1 $(MAX))
 
-- 
cgit