From 917b95d8ffdf81bb7e93b3aa5b80f3a996a72bd3 Mon Sep 17 00:00:00 2001 From: Florian Roth Date: Fri, 30 Jul 2021 08:51:38 +0200 Subject: [PATCH] fix: bash script bug --- tests/test-merge.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/test-merge.sh b/tests/test-merge.sh index 86dc48d0b..14dadf71b 100755 --- a/tests/test-merge.sh +++ b/tests/test-merge.sh @@ -7,7 +7,7 @@ do echo -n . if ! $COVERAGE run -a --include=tools/* tools/merge_sigma $f > /dev/null then - echo "[ERROR] Error in file $f" + echo "[ERROR] Error in file " $f exit 1 fi done