From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 19 Jan 2020 18:02:43 +0000 (+0100)
Subject: update
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=72bb8e78f7393e609c654cdfc600f4f76cc128ce;p=gwion.git

update
---

diff --git a/scripts/test.sh b/scripts/test.sh
index 28b75977..05c02009 100644
--- 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 $@