diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 15:57:52 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 15:57:52 +0200 |
commit | e83ce9dcea07aa3d070bfe7268776987be00c95d (patch) | |
tree | b6868e9348af8ad04ab1a5c389ee0ccf7ac5730e /test/monniaux/csmith/Makefile | |
parent | cd4ad6f400ec43c9f9959b1c230703b0d68ae2e9 (diff) | |
download | compcert-kvx-e83ce9dcea07aa3d070bfe7268776987be00c95d.tar.gz compcert-kvx-e83ce9dcea07aa3d070bfe7268776987be00c95d.zip |
bump ocaml version
Diffstat (limited to 'test/monniaux/csmith/Makefile')
-rw-r--r-- | test/monniaux/csmith/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index ab1c36b1..c98baadd 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -11,7 +11,7 @@ ifndef CSMITH CSMITH=csmith endif -MAX=10 +MAX=300 PREFIX=ran%06.f CCOMPOTS=-static |