update

diff --git a/scripts/test.sh b/scripts/test.sh
index 28b75977012d63e9a9060cc6333bed4459c71b0a..05c02009213d3553cb275b5c8cce534df6773302 100644 (file)
--- a/scripts/test.sh
+++ b/scripts/test.sh
@@ -24,6 +24,6 @@ noterm() {
 
 }
 
-${VALGRIND} ${VALGRIND_OPT} gwion "$1" &> log
+${VALGRIND} ${VALGRIND_OPT} gwion "$1" 2>&1 > log
 shift
 [ -t 1 ] && interm $@ || noterm $@