diff --git a/.github/workflows/GnuTests.yml b/.github/workflows/GnuTests.yml index 9c90b0a9c..8bf6c091b 100644 --- a/.github/workflows/GnuTests.yml +++ b/.github/workflows/GnuTests.yml @@ -62,7 +62,7 @@ jobs: FAIL=$(sed -n "s/.*# FAIL: \(.*\)/\1/p" "$LOG_FILE"|tr -d '\r'|head -n1) XPASS=$(sed -n "s/.*# XPASS: \(.*\)/\1/p" "$LOG_FILE"|tr -d '\r'|head -n1) ERROR=$(sed -n "s/.*# ERROR: \(.*\)/\1/p" "$LOG_FILE"|tr -d '\r'|head -n1) - if [[ "$TOTAL" --eq 0 || "$TOTAL" --eq 1 ]]; then + if [[ "$TOTAL" -eq 0 || "$TOTAL" -eq 1 ]]; then echo "Error in the execution, failing early" exit 1 fi