1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/maint/checkSpace.pl b/scripts/maint/checkSpace.pl
index 950936115b..0249c0962b 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;