aboutsummaryrefslogtreecommitdiffstats
path: root/page
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2009-12-17 09:16:27 +0100
committerBjörn Gustavsson <[email protected]>2009-12-17 09:16:27 +0100
commite04d9d582e297342e9a4931ab622733022167b28 (patch)
tree1c5c1b88eb98ac37a471d0a3505032b1a5b1b00d /page
parenta9b8a56e757552db534f925e3db59a768ba22a92 (diff)
downloadotp-e04d9d582e297342e9a4931ab622733022167b28.tar.gz
otp-e04d9d582e297342e9a4931ab622733022167b28.tar.bz2
otp-e04d9d582e297342e9a4931ab622733022167b28.zip
Mark branches that have whitespace problems
Diffstat (limited to 'page')
-rwxr-xr-xpage16
1 files changed, 15 insertions, 1 deletions
diff --git a/page b/page
index 7b375f2b59..ee0317ca66 100755
--- a/page
+++ b/page
@@ -62,7 +62,8 @@ foreach (`git log --oneline --first-parent dev..pu`) {
my(@revs) = `git rev-list $range`;
my $commits = @revs == 1 ? "1 commit" : scalar(@revs) . " commits";
my $max = 12;
- my $apps = `$application $child^1...$child^2`;
+ my $diff_range = "$child^1...$child^2";
+ my $apps = `$application $diff_range`;
chomp $apps;
system "git", "show", "-s", "--date=short",
@@ -76,6 +77,19 @@ foreach (`git log --oneline --first-parent dev..pu`) {
print ".\n.\n\.\n" if @revs > $max;
print "</ul>\n";
+ my @ws = `git diff --check $diff_range`;
+ if (@ws) {
+ my $n = @ws / 2;
+ print "<p>\n";
+ print qq[<font color="red">This topic branch introduces ];
+ if ($n == 1) {
+ print "1 line ";
+ } else {
+ print "$n lines ";
+ }
+ print "with whitespace errors.</font>\n";
+ }
+
my $text = $cooking{$topic};
unless (defined $text) {
print "<p><i>New topic branch</i>\n<p>\n";