diff options
| -rw-r--r-- | scripts/nix-push.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/nix-push.in b/scripts/nix-push.in index 57d89d13ccad..02f40f04a97d 100644 --- a/scripts/nix-push.in +++ b/scripts/nix-push.in @@ -12,7 +12,7 @@ my $manifest = "$tmpdir/MANIFEST"; END { unlink $manifest; unlink $nixfile; rmdir $tmpdir; } -my $curl = "@curl@ --fail --silent"; +my $curl = "@curl@ --fail --silent ${ENV{'CURL_FLAGS'}}"; # Parse the command line. |