diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2008-05-07T14·18+0000 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2008-05-07T14·18+0000 |
| commit | b4bc8b76160ff81e0e5489b88ff3ca8cbd587131 (patch) | |
| tree | 1a8b42c2f50a411ed752114c17bbc9324e1bb36a /scripts/nix-reduce-build.in | |
| parent | b1e321d6ce0b4ef2e042021939a3d6be160841f8 (diff) | |
--proxy=proxy:3128
Diffstat (limited to 'scripts/nix-reduce-build.in')
| -rw-r--r-- | scripts/nix-reduce-build.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/nix-reduce-build.in b/scripts/nix-reduce-build.in index 7e546aa60fbb..f9cb5012b45b 100644 --- a/scripts/nix-reduce-build.in +++ b/scripts/nix-reduce-build.in @@ -65,7 +65,7 @@ for i in "$@"; do done; elif [ "$i" != "$httpHost" ] || [ "$i" != "$httpsHost" ]; then cat needed-paths | while read; do - curl -L "$i${REPLY##*/}" | gunzip | nix-store --import; + curl ${BAD_CERTIFICATE:+-k} -L "$i${REPLY##*/}" | gunzip | nix-store --import; done; fi; mv needed-paths wanted-paths; |