diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 12:10:28 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 12:10:28 +0200 |
commit | 1bb219c2df5f7b06227a2bddfc24721a372847ab (patch) | |
tree | eece4fd77c5d675ae88876c89ab3752ca977352c | |
parent | a1c113c44d8f1c06f51f6692a50df831fb9747ad (diff) | |
download | compcert-kvx-1bb219c2df5f7b06227a2bddfc24721a372847ab.tar.gz compcert-kvx-1bb219c2df5f7b06227a2bddfc24721a372847ab.zip |
reinstate TARGET_CC
-rw-r--r-- | test/monniaux/yarpgen/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile index 4b970abf..c790d6e9 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -1,5 +1,5 @@ TARGET_CCOMP=../../../ccomp -#TARGET_CC=kvx-cos-gcc +TARGET_CC=gcc #EXECUTE=kvx-cluster -- all: |