diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 13:56:19 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 13:56:19 +0100 |
| commit | d0b8ed2ab2979bfef689c5c801a73434b0abab51 (patch) | |
| tree | 6a608b37fe32e03648f6c9d594a7886f1e0c4c89 /test/monniaux | |
| parent | 520ac43fdfaa6ecef14fc93b68034e03112e12fd (diff) | |
| download | compcert-kvx-d0b8ed2ab2979bfef689c5c801a73434b0abab51.tar.gz compcert-kvx-d0b8ed2ab2979bfef689c5c801a73434b0abab51.zip | |
more fixes for CI
Diffstat (limited to 'test/monniaux')
| -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 af586ac4..fc524d92 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -10,7 +10,7 @@ YARPGEN=./yarpgen GENERATOR=yarpgen endif -MAX=170 +MAX=169 PREFIX=ran%06.f CCOMPOPTS=-static |