diff options
| author | Michael Forney <mforney@mforney.org> | 2016-12-23 17:43:23 -0800 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-12-29 23:29:18 -0800 |
| commit | d29f7e5d531938f2699fb4c4e09939d0e43b06c1 (patch) | |
| tree | 1ca46254766223b80b28b8f64dc190657af64b90 /scripts | |
| parent | 9783cc76994abad1ce2825015fc4979f183e40b4 (diff) | |
fetch-curl: Specify -O at the end in case we want to specify an output name
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/fetch-curl.rc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/fetch-curl.rc b/scripts/fetch-curl.rc index 9f811837..08534598 100755 --- a/scripts/fetch-curl.rc +++ b/scripts/fetch-curl.rc @@ -13,7 +13,7 @@ shift if([ -e src ]) rm -rf src if(! sha256sum -c sha256 >[2]/dev/null) { - curl -L -O -K url + curl -L -K url -O sha256sum -c sha256 } |