Reconfigure if bootstrap.pl changes.
Reconfigure if bootstrap.pl changes.
1.1 --- a/tools/buildbot/bootstrap.pl Sat Jul 28 16:42:38 2012 -0700
1.2 +++ b/tools/buildbot/bootstrap.pl Sat Jul 28 16:50:45 2012 -0700
1.3 @@ -26,7 +26,10 @@
1.4 if (-f 'OUTPUT/sentinel') {
1.5 my @s = stat('OUTPUT/sentinel');
1.6 my $mtime = $s[9];
1.7 - my @files = ('build/pushbuild.txt', 'build/AMBuildScript', 'build/product.version');
1.8 + my @files = ('build/pushbuild.txt',
1.9 + 'build/AMBuildScript',
1.10 + 'build/product.version',
1.11 + 'build/tools/bootstrap.pl');
1.12 my ($i);
1.13 for ($i = 0; $i <= $#files; $i++) {
1.14 if (IsNewer($files[$i], $mtime)) {