diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 14:27:13 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 14:27:13 +0100 |
commit | 69247e1024f99f628f9b00eb9ecc30ef30e51d3f (patch) | |
tree | 4e2bfc8bb6c21a750ddcd7572eb54543e965185b | |
parent | d0b8ed2ab2979bfef689c5c801a73434b0abab51 (diff) | |
download | compcert-kvx-69247e1024f99f628f9b00eb9ecc30ef30e51d3f.tar.gz compcert-kvx-69247e1024f99f628f9b00eb9ecc30ef30e51d3f.zip |
limit due to stack overflows
-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 fc524d92..dbd6ae75 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -10,7 +10,7 @@ YARPGEN=./yarpgen GENERATOR=yarpgen endif -MAX=169 +MAX=129 PREFIX=ran%06.f CCOMPOPTS=-static |