about summary refs log tree commit diff
path: root/scripts/download-using-manifests.pl.in
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-02-25T16·12+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-02-25T16·12+0000
commit8376fff1518415a0d48b34e91298c846b0ab6b95 (patch)
tree420286ca633ceb7c21ed6417cb7aeb5fbe9de01b /scripts/download-using-manifests.pl.in
parent8d3c346559a2528e4606d8a5b61c8a4d5457697d (diff)
* Add a version number to manifests.
Diffstat (limited to 'scripts/download-using-manifests.pl.in')
-rw-r--r--scripts/download-using-manifests.pl.in5
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/download-using-manifests.pl.in b/scripts/download-using-manifests.pl.in
index 890f8787cd91..8757355313e8 100644
--- a/scripts/download-using-manifests.pl.in
+++ b/scripts/download-using-manifests.pl.in
@@ -27,7 +27,10 @@ my %successors;
 
 for my $manifest (glob "$manifestDir/*.nixmanifest") {
 #    print STDERR "reading $manifest\n";
-    readManifest $manifest, \%narFiles, \%patches, \%successors;
+    if (readManifest($manifest, \%narFiles, \%patches, \%successors) < 3) {
+        print STDERR "you have an old-style manifest `$manifest'; please delete it\n";
+        exit 1;
+    }
 }