diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-27T18·43+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-27T18·43+0000 |
| commit | 7102455cba5ceb13e7f3558716ee0a49fff1c58f (patch) | |
| tree | d1c7745b78be214001e2b1c363eebe5a0d83899c /scripts | |
| parent | 92eea8fc4e7a2e4d6d0dda604ecd22c60367b76e (diff) | |
* Don't cache the manifest.
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"; |