about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-03-19T10·02+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-03-19T10·02+0000
commit7e05b8b75e0f4b370cc7d4b78b3fb18a3678b360 (patch)
tree27fa0097f6354f51d32dc7e5fef801c7c4aac765 /scripts
parentb88460bcbc05ec7c164cb6ce6015b193d3c2d6c5 (diff)
* Future proofing: assume we can read manifests up to version 10
  (which should therefore be backwards compatible).

Diffstat (limited to 'scripts')
-rw-r--r--scripts/download-using-manifests.pl.in7
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/download-using-manifests.pl.in b/scripts/download-using-manifests.pl.in
index 20c01db3cfca..0c7f8250fdc9 100644
--- a/scripts/download-using-manifests.pl.in
+++ b/scripts/download-using-manifests.pl.in
@@ -19,10 +19,15 @@ my %localPaths;
 my %patches;
 
 for my $manifest (glob "$manifestDir/*.nixmanifest") {
-    if (readManifest($manifest, \%narFiles, \%localPaths, \%patches) < 3) {
+    my $version = readManifest($manifest, \%narFiles, \%localPaths, \%patches);
+    if ($version < 3) {
         print STDERR "you have an old-style manifest `$manifest'; please delete it\n";
         exit 1;
     }
+    if ($version >= 10) {
+        print STDERR "manifest `$manifest' is too new; please delete it or upgrade Nix\n";
+        exit 1;
+    }
 }