diff --git a/download_and_compile.sh b/download_and_compile.sh index 547d3c2..8c6c5ba 100755 --- a/download_and_compile.sh +++ b/download_and_compile.sh @@ -49,7 +49,7 @@ _elementIn(){ shift for e; do - if [[ "$e" == "$valueToCheck" ]]; then + if [ "$e" = "$valueToCheck" ]; then return 0 fi done