diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-18 12:47:14 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-18 12:47:14 +0200 |
commit | 68995e0afca237658728b2c82fff04133a5aae72 (patch) | |
tree | 30cad9699df3071fe41661efd934eece01cbd564 /test | |
parent | fd6f8114d91f1649e467571b39adcb0b8fa2f92e (diff) | |
download | compcert-kvx-68995e0afca237658728b2c82fff04133a5aae72.tar.gz compcert-kvx-68995e0afca237658728b2c82fff04133a5aae72.zip |
fix for x86-64
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/csmith/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index 30107695..ab7931f1 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -6,7 +6,7 @@ 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 |