diff --git a/scripts/maint/checkSpace.pl b/scripts/maint/checkSpace.pl index 950936115b1b3b39618a270e1a5ea4683f113c04..0249c0962b063127382235d0067303729e2999e3 100755 --- a/scripts/maint/checkSpace.pl +++ b/scripts/maint/checkSpace.pl @@ -3,6 +3,12 @@ use strict; use warnings; +my $found = 0; +sub msg { + $found = 1; + print "$_[0]"; +} + my $C = 0; if ($ARGV[0] =~ /^-/) { @@ -189,3 +195,5 @@ for my $fn (@ARGV) { } close(F); } + +exit $found;