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

index 747afc8fdd7a9abc5368e7abb652b10b6044d3b8..c0375a8a8b7da155b7cdf6643a17df8f54478f70 100644 (file)
@@ -177,7 +177,7 @@ 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
-  if[ -z "$VALGRIND" ]
+  if [ -z "$VALGRIND" ]
   then ./gwion "$GWOPT" -d "$DRIVER" "$file" > "$slog" 2>"$elog" |:
   else
     "$VALGRIND" --log-file="$vlog" \