From 2789e6179af061381f5b18a268adb562b28bcb8e Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 23 Sep 2021 14:26:26 +0200
Subject: fix for running x86-64

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

(limited to 'test')

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
-- 
cgit