From 7102455cba5ceb13e7f3558716ee0a49fff1c58f Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Mon, 27 Oct 2003 18:43:09 +0000
Subject: [PATCH] * Don't cache the manifest.

---
 scripts/nix-pull.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nix-pull.in b/scripts/nix-pull.in
index ffdcf8982..40e7d62f3 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";