X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=boot;fp=boot;h=9d7eb38d80143fef793fd289d30d44df9232293d;hp=ae573816366ea3ed0252807b098f665d8ba6971e;hb=a91df48bcf1a06dde529812c44bbceaee7c1fb10;hpb=ae587ec8ab4dd8414d629d3629dec0cc44b37aa7 diff --git a/boot b/boot index ae57381..9d7eb38 100755 --- a/boot +++ b/boot @@ -5,8 +5,10 @@ use strict; use Cwd; my %required_tag; +my $validate; $required_tag{"-"} = 1; +$validate = 0; while ($#ARGV ne -1) { my $arg = shift @ARGV; @@ -14,6 +16,9 @@ while ($#ARGV ne -1) { if ($arg =~ /^--required-tag=(.*)/) { $required_tag{$1} = 1; } + elsif ($arg =~ /^--validate$/) { + $validate = 1; + } else { die "Bad arg: $arg"; } @@ -70,3 +75,19 @@ foreach $dir (".", glob("libraries/*/")) { } } +if ($validate eq 0 && ! -f "mk/build.mk") { + print <