fix: bash script bug

2021-07-30 08:51:38 +02:00
parent ab16490d33
commit 917b95d8ff
1 changed files with 1 additions and 1 deletions
@@ -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