diff options
Diffstat (limited to 'test/monniaux/csmith/Makefile')
-rw-r--r-- | test/monniaux/csmith/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index 1f32dccb..5a1d3843 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -18,7 +18,7 @@ CFLAGS += -Wno-incompatible-pointer-types ifndef CSMITH CSMITH=csmith/bin/csmith endif -CSMITHOPT=--max-funcs 10 +CSMITHOPT=--max-funcs 10 --no-unions MAX=500 PREFIX=ran%06.f @@ -91,7 +91,7 @@ clean: -rm -rf ran* csmith-2.3.0.tar.gz: - curl -L -O $@ https://embed.cs.utah.edu/csmith/csmith-2.3.0.tar.gz + curl -L -o $@ https://embed.cs.utah.edu/csmith/csmith-2.3.0.tar.gz csmith/bin/csmith: csmith-2.3.0.tar.gz tar xfz csmith-2.3.0.tar.gz |