diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-20 21:17:52 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-20 21:17:52 +0200 |
| commit | bb85a1c6fee93987bb5cb0948a0d0faa013999fe (patch) | |
| tree | 0d867bb5c7176214fa183b224aac13ee888d7d0e /test | |
| parent | d96c0c24c098142d6c6cbf9c3b961c42823322bb (diff) | |
| download | compcert-kvx-bb85a1c6fee93987bb5cb0948a0d0faa013999fe.tar.gz compcert-kvx-bb85a1c6fee93987bb5cb0948a0d0faa013999fe.zip | |
wrong curl command
Diffstat (limited to 'test')
| -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 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 |