diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-02-25T16·12+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-02-25T16·12+0000 |
| commit | 8376fff1518415a0d48b34e91298c846b0ab6b95 (patch) | |
| tree | 420286ca633ceb7c21ed6417cb7aeb5fbe9de01b /scripts/nix-pull.in | |
| parent | 8d3c346559a2528e4606d8a5b61c8a4d5457697d (diff) | |
* Add a version number to manifests.
Diffstat (limited to 'scripts/nix-pull.in')
| -rw-r--r-- | scripts/nix-pull.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/nix-pull.in b/scripts/nix-pull.in index 13a2199fbb57..efd0c074fd44 100644 --- a/scripts/nix-pull.in +++ b/scripts/nix-pull.in @@ -42,7 +42,9 @@ sub processURL { "'$url' > '$manifest'") == 0 or die "curl failed: $?"; - readManifest $manifest, \%narFiles, \%patches, \%successors; + if (readManifest($manifest, \%narFiles, \%patches, \%successors) < 3) { + die "manifest `$url' is too old (i.e., for Nix <= 0.7)\n"; + } my $baseName = "unnamed"; if ($url =~ /\/([^\/]+)\/[^\/]+$/) { # get the forelast component |