diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 10:48:51 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 10:48:51 +0100 |
commit | e1fb8ff636881054d7223129d61b214cce36acf7 (patch) | |
tree | dc3ca0b290b89ffb33c15e0dc129df44a9255a5f | |
parent | 0024edef4ce251a154733a241868ecc3119c8adf (diff) | |
download | compcert-kvx-e1fb8ff636881054d7223129d61b214cce36acf7.tar.gz compcert-kvx-e1fb8ff636881054d7223129d61b214cce36acf7.zip |
some more Makefile fixes (disable cse2 it's too slow)
-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 8023902b..f94dffce 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -11,7 +11,7 @@ endif MAX=300 PREFIX=ran%06.f -CCOMPFLAGS+=-funprototyped -fbitfields +CCOMPFLAGS+=-funprototyped -fbitfields -fno-cse2 # FIXME TESTS_C=$(shell seq --format $(PREFIX)/func.c 1 $(MAX)) \ $(shell seq --format $(PREFIX)/driver.c 1 $(MAX)) \ |