# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1484946162 -3600
# Node ID 1923fbaf93b0d449b212ca1ae555b8afce58bd51
# Parent  a0573f409e7ad73ad82c8cfa5a31ec476cfb8a56
Redirect standard error to the build logs so that warnings are collected there.

diff -r a0573f409e7a -r 1923fbaf93b0 test_all.sh
--- a/test_all.sh	Fri Jan 20 18:39:33 2017 +0100
+++ b/test_all.sh	Fri Jan 20 22:02:42 2017 +0100
@@ -192,8 +192,8 @@
         OUTCODE="_results/$TESTNAME.exitcode"
 
         echo " (build)..." 1>&2
-        if ! make -C "$DATADIR/_generated" clean > "$BUILDLOG" || \
-           ! make -C "$DATADIR/_generated" > "$BUILDLOG" ; then
+        if ! make -C "$DATADIR/_generated" clean > "$BUILDLOG" 2>&1 || \
+           ! make -C "$DATADIR/_generated" > "$BUILDLOG" 2>&1 ; then
             exit 1
         fi