diff options
Diffstat (limited to 'scripts/nix-push.in')
| -rw-r--r-- | scripts/nix-push.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/nix-push.in b/scripts/nix-push.in index 02f40f04a97d..84330016f310 100644 --- a/scripts/nix-push.in +++ b/scripts/nix-push.in @@ -12,7 +12,9 @@ my $manifest = "$tmpdir/MANIFEST"; END { unlink $manifest; unlink $nixfile; rmdir $tmpdir; } -my $curl = "@curl@ --fail --silent ${ENV{'CURL_FLAGS'}}"; +my $curl = "@curl@ --fail --silent"; +my $extraCurlFlags = ${ENV{'CURL_FLAGS'}}; +$curl = "$curl $extraCurlFlags" if defined $extraCurlFlags; # Parse the command line. |