diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | 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 ffdcf89821a4..40e7d62f3a20 100644 --- a/scripts/nix-pull.in +++ b/scripts/nix-pull.in @@ -31,7 +31,7 @@ while (<CONFFILE>) { print "obtaining list of Nix archives at $url...\n"; - system "wget '$url'/MANIFEST -O '$manifest' 2> /dev/null"; # !!! escape + system "wget --cache=off '$url'/MANIFEST -O '$manifest' 2> /dev/null"; # !!! escape if ($?) { die "`wget' failed"; } open MANIFEST, "<$manifest"; |