about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-10-27T18·43+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-10-27T18·43+0000
commit7102455cba5ceb13e7f3558716ee0a49fff1c58f (patch)
treed1c7745b78be214001e2b1c363eebe5a0d83899c
parent92eea8fc4e7a2e4d6d0dda604ecd22c60367b76e (diff)
* Don't cache the manifest.
-rw-r--r--scripts/nix-pull.in2
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";