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 /test/monniaux/yarpgen | |
| parent | d0b8ed2ab2979bfef689c5c801a73434b0abab51 (diff) | |
| download | compcert-kvx-69247e1024f99f628f9b00eb9ecc30ef30e51d3f.tar.gz compcert-kvx-69247e1024f99f628f9b00eb9ecc30ef30e51d3f.zip | |
limit due to stack overflows
Diffstat (limited to 'test/monniaux/yarpgen')
| -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 |