From bb85a1c6fee93987bb5cb0948a0d0faa013999fe Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 20 Sep 2021 21:17:52 +0200 Subject: wrong curl command --- test/monniaux/csmith/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index 2e9d9d24..5a1d3843 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -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 -- cgit