diff options
author | ts468 <ts468@users.noreply.github.com> | 2015-10-06 20:00:03 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2015-10-07 09:48:58 +0200 |
commit | db25ece3c84f5f4f8141f2fe2d5f91c1173808bc (patch) | |
tree | cfae66b93e46e46c7ad44e5598111838ba434ca4 /pkgs/build-support/fetchurl | |
parent | 6a80bb95f79b61b1fe516b9b9a55fcec96835fcd (diff) |
fetchurl/builder.sh: style fix, close #10260
Diffstat (limited to 'pkgs/build-support/fetchurl')
-rw-r--r-- | pkgs/build-support/fetchurl/builder.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/build-support/fetchurl/builder.sh b/pkgs/build-support/fetchurl/builder.sh index 66792229585a7..b4c8e1f992c97 100644 --- a/pkgs/build-support/fetchurl/builder.sh +++ b/pkgs/build-support/fetchurl/builder.sh @@ -9,7 +9,7 @@ source $mirrorsFile # cryptographic hash of the output anyway). curl="curl \ --location --max-redirs 20 \ - --retry 3 + --retry 3 \ --disable-epsv \ --cookie-jar cookies \ --insecure \ |