diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-30 15:12:39 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-30 15:12:39 +0200 |
commit | e9e0281231121f5e04fa8915baffc1378bcdea21 (patch) | |
tree | 0d8a71d295257b6062112f63e65fd57d0413a1fb /test/monniaux | |
parent | 8cee2111e40fdd0c12afab1718e732f1bad71d5c (diff) | |
parent | 2e39ecb491bbd001ecdfba73115bc76e3f53f517 (diff) | |
download | compcert-kvx-e9e0281231121f5e04fa8915baffc1378bcdea21.tar.gz compcert-kvx-e9e0281231121f5e04fa8915baffc1378bcdea21.zip |
Merge remote-tracking branch 'origin/kvx-work' into mppa-RTLpathSE-verif-hash-junk
Diffstat (limited to 'test/monniaux')
-rw-r--r-- | test/monniaux/yarpgen/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile index 28bd5ae0..c790d6e9 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -1,5 +1,6 @@ TARGET_CCOMP=../../../ccomp TARGET_CC=gcc +#EXECUTE=kvx-cluster -- all: @@ -15,11 +16,11 @@ YARPGEN+=-m $(BITS) CFLAGS+=-m$(BITS) endif -MAX=129 +MAX=19 # AUXR bug should be 129 PREFIX=ran%06.f CCOMPOPTS=-static -CCOMPFLAGS+=-funprototyped -fbitfields -fno-cse2 -stdlib ../../../runtime # FIXME +CCOMPFLAGS+= -funprototyped -fbitfields -fno-cse2 -stdlib ../../../runtime TESTS_C=$(shell seq --format $(PREFIX)/func.c 1 $(MAX)) \ $(shell seq --format $(PREFIX)/driver.c 1 $(MAX)) \ |