]> Nishi Git Mirror - gwion.git/commitdiff
:bug: TRUE SEVERITY
authorfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 15 Mar 2019 00:47:07 +0000 (01:47 +0100)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 15 Mar 2019 00:47:07 +0000 (01:47 +0100)
help/test.sh

index 39601ed38f335a2bfa20c384924cc9e199ff9488..747afc8fdd7a9abc5368e7abb652b10b6044d3b8 100644 (file)
@@ -177,8 +177,12 @@ test_gw(){
   elog=${GWION_TEST_DIR}/${GWION_TEST_PREFIX}$(printf "%04i" "$n").err.log
   vlog=${GWION_TEST_DIR}/${GWION_TEST_PREFIX}$(printf "%04i" "$n").valgrind.log
   rlog=${GWION_TEST_DIR}/${GWION_TEST_PREFIX}$(printf "%04i" "$n").log
-  "$VALGRIND" --log-file="$vlog" \
-  ./gwion "$GWOPT" -d "$DRIVER" "$file" > "$slog" 2>"$elog" |:
+  if[ -z "$VALGRIND" ]
+  then ./gwion "$GWOPT" -d "$DRIVER" "$file" > "$slog" 2>"$elog" |:
+  else
+    "$VALGRIND" --log-file="$vlog" \
+    ./gwion "$GWOPT" -d "$DRIVER" "$file" > "$slog" 2>"$elog" |:
+  fi
   ret=$?
   #enable skip
   do_skip "$1" "$n" "$file" "$rlog" && return 0