From 98d44dd492c0d78672cfe016d62c3be0a02c9ab4 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 6 Jul 2022 16:26:26 +0200
Subject: [PATCH] [Script] bin/tests.sh - bugfix
---
bin/test.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/test.sh b/bin/test.sh
index 5290e0ac088..9acea71ddac 100755
--- a/bin/test.sh
+++ b/bin/test.sh
@@ -159,8 +159,8 @@ function TestAlias
if [ "$DUNE_LOG" = "" ]; then
Run dune build $DUNE_OPT $@
- elif [ "$SAVE" != "yes" ]; then
- Run dune build $DUNE_OPT
+ elif [ "$SAVE" != "yes" ] && [ "$VERBOSE" != "yes" ]; then
+ Run dune build $DUNE_OPT $@
else
# note: the Run function cannot performs redirection
echo "> dune build $DUNE_OPT $@ 2> >(tee -a $DUNE_LOG >&2)"
--
GitLab