diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 11:55:04 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 11:55:04 +0100 |
| commit | aa52be6e57fb0627113cfcaf26340e323f58b3bc (patch) | |
| tree | 684908b393f18549c8853214cd8a752dad573e81 /test/monniaux/yarpgen | |
| parent | 2569e84cd235045e4419e8d65c0e69bb3f2ffb60 (diff) | |
| download | compcert-kvx-aa52be6e57fb0627113cfcaf26340e323f58b3bc.tar.gz compcert-kvx-aa52be6e57fb0627113cfcaf26340e323f58b3bc.zip | |
fix limitxy
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 bdb7cb63..2aafd394 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -8,7 +8,7 @@ YARPGEN=./yarpgen GENERATOR=yarpgen endif -MAX=300 +MAX=170 PREFIX=ran%06.f CCOMPOPTS=-static |