about summary refs log tree commit diff
path: root/scripts/nix-reduce-build.in
diff options
context:
space:
mode:
authorMichael Raskin <7c6f434c@mail.ru>2008-05-07T14·18+0000
committerMichael Raskin <7c6f434c@mail.ru>2008-05-07T14·18+0000
commitb4bc8b76160ff81e0e5489b88ff3ca8cbd587131 (patch)
tree1a8b42c2f50a411ed752114c17bbc9324e1bb36a /scripts/nix-reduce-build.in
parentb1e321d6ce0b4ef2e042021939a3d6be160841f8 (diff)
--proxy=proxy:3128
Diffstat (limited to 'scripts/nix-reduce-build.in')
-rw-r--r--scripts/nix-reduce-build.in2
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;