Polished.

diff --git a/test-builds.sh b/test-builds.sh
index 046c7ad6b97a61f07951e351888bb597731de595..96ce1721ad61f8bd7e159c72dc72adaf49f14a63 100755 (executable)
--- a/test-builds.sh
+++ b/test-builds.sh
@@ -67,6 +67,8 @@ buildtest() {
        result=0
     fi
 
+    # Display BUILD parameters to double check that we are building the
+    # with the right parameters. TODO: Make less noisy.
     grep -E "BUILD" ${log}
 
     errors="^ERROR|\ error:|\ Error\ |No\ such|assertion\ failed|FAIL:"
@@ -83,7 +85,7 @@ buildtest() {
            echo "Build OK. Global result is $globalResult."
        fi
     else
-        echo "Build Failed ($result):"
+        echo "Build Failed. Last log lines are:"
         tail -5 ${log}
        globalResult=1
     fi