diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 11:05:53 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 11:05:53 +0200 |
commit | a1c113c44d8f1c06f51f6692a50df831fb9747ad (patch) | |
tree | 8f8f2ca7c605f8d6095cdaef957e48e3cb2c90fa | |
parent | 064e0f7b32e28d96d245e40a76f2d3045270d4ac (diff) | |
download | compcert-kvx-a1c113c44d8f1c06f51f6692a50df831fb9747ad.tar.gz compcert-kvx-a1c113c44d8f1c06f51f6692a50df831fb9747ad.zip |
rm mods for running tests
-rw-r--r-- | test/monniaux/yarpgen/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile index a72ca791..4b970abf 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -1,6 +1,6 @@ TARGET_CCOMP=../../../ccomp -TARGET_CC=kvx-cos-gcc -EXECUTE=kvx-cluster -- +#TARGET_CC=kvx-cos-gcc +#EXECUTE=kvx-cluster -- all: |