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 f0e92b8ec7d452725ecccfbd5d79a75d1a8cbe79..a4ce904f2795706c6ee91c7f628f62ac65e0bc2a 100755 (executable)
--- a/test-builds.sh
+++ b/test-builds.sh
@@ -122,7 +122,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