diff options
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; |