fixed shell script

Westsi · Jul 2, 2024 · c8b2367 · c8b2367
1 parent f34c1dd
commit c8b2367
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/x86_64.sh b/ci/x86_64.sh
@@ -24,7 +24,7 @@ while IFS= read -r line; do
             break
         fi
         echo "$inf"
-        if [ "$inf" -eq "arithmetic" ]; then
+        if [ "$inf" == "arithmetic" ]; then
             # TODO: remove this chunk when division is implemented
             continue
         fi