Add check for double-semi-colons at the end of a line

diff --git a/scripts/maint/checkSpace.pl b/scripts/maint/checkSpace.pl
index 37dcc98af1230224ef8df1ff178a85f7ad5ab230..9929932cc51cd1692e498a44859494a0cefae59d 100755 (executable)
--- a/scripts/maint/checkSpace.pl
+++ b/scripts/maint/checkSpace.pl
@@ -123,6 +123,10 @@ for my $fn (@ARGV) {
             if (/([^\s'])\{/) {
                 msg "       $1\{:$fn:$.\n";
             }
+            ## Warn about double semi-colons at the end of a line.
+            if (/;;$/) {
+                msg "       double semi-colons at the end of $. in $fn\n"
+            }            
             ## Warn about multiple internal spaces.
             #if (/[^\s,:]\s{2,}[^\s\\=]/) {
             #    msg "     X  X:$fn:$.\n";