From 34db1c591654ad08c29c12028f78c404fb1aa7a7 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Tue, 22 Jun 2021 18:03:12 +0200
Subject: [PATCH] Simple dash, not double

---
 .github/workflows/GnuTests.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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