Fix 'warning: stray \ before white space' (#1150)

grep 3.8 started detecting overly-escaped regex patterns

diff --git a/test-builds.sh b/test-builds.sh
index 8f4ec4d8f2caeac76832cde70914de7c2fb41a4d..2f2a5df96eaeda09043c38bfebeb23c53ebc89bf 100755 (executable)
--- a/test-builds.sh
+++ b/test-builds.sh
@@ -113,7 +113,7 @@ buildtest() {
     # with the right parameters. TODO: Make less noisy.
     grep -E "BUILD" ${log}
 
-    errors="^ERROR|\ error:|\ Error\ |No\ such|assertion\ failed|FAIL:|:\ undefined"
+    errors="^ERROR|[ ]error:|[ ]Error[ ]|No[ ]such|assertion[ ]failed|FAIL:|:[ ]undefined"
     grep -E "${errors}" ${log}
 
     if test $result -eq 0; then