diff options
| -rwxr-xr-x | scripts/maint/checkSpace.pl | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/scripts/maint/checkSpace.pl b/scripts/maint/checkSpace.pl index e90f5b330b..5af95a27e5 100755 --- a/scripts/maint/checkSpace.pl +++ b/scripts/maint/checkSpace.pl @@ -177,11 +177,5 @@ for $fn (@ARGV) { } } } - ## Warn if the file doesn't end with a blank line. - # (End each file with a single blank line.) - if (! $lastnil) { - print " EOL\@EOF:$fn:$.\n"; - } close(F); } - |