From 72bb8e78f7393e609c654cdfc600f4f76cc128ce Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sun, 19 Jan 2020 19:02:43 +0100 Subject: [PATCH] update --- scripts/test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 $@ -- 2.43.0