diff options
Diffstat (limited to 'scripts/nix-pull.in')
-rwxr-xr-x | scripts/nix-pull.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/nix-pull.in b/scripts/nix-pull.in index 084197c48a1c..8d5db2f57c68 100755 --- a/scripts/nix-pull.in +++ b/scripts/nix-pull.in @@ -72,7 +72,7 @@ sub processURL { my $urlFile = "$manifestDir/$baseName-$hash.url"; open URL, ">$urlFile" or die "cannot create `$urlFile'"; - print URL "$url"; + print URL ($ENV{'NIX_ORIG_URL'} || $url); close URL; my $finalPath = "$manifestDir/$baseName-$hash.nixmanifest"; |