diff --git a/ci/x86_64.sh b/ci/x86_64.sh index 3fab62e..41d01c4 100644 --- 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