Use "possible build problems" instead of "possible build errors",

to prevent build-check from catching its output...

diff --git a/buildtools/build-check b/buildtools/build-check
index dcbb6e660bea1df670cae2a3d293860ee45a0cfc..c7741940c1a1a3f24da718dccaec695577f05640 100755 (executable)
--- a/buildtools/build-check
+++ b/buildtools/build-check
@@ -15,7 +15,7 @@ then
     exit 0
   else
     echo
-    echo "Possible build errors found:"
+    echo "Possible build problems found:"
     echo
     $grep -i "$errorRegexp" $LOGFILENAME
     echo