diff --git a/scripts/subinstallers/docker.sh b/scripts/subinstallers/docker.sh
index 8728378..516a93c 100755
--- a/scripts/subinstallers/docker.sh
+++ b/scripts/subinstallers/docker.sh
@@ -8,12 +8,14 @@ sudo -E apt install -y python python3-pip python3-setuptools libffi-dev python3-
 
 # Ubuntu version >= 20.04
 
+set +e
 vercomp "$VERSION_ID" "19.10"
 case $? in
     0) op='=';;
     1) op='>';;
     2) op='<';;
 esac
+set -e
 
 if [ "$DISTRO" == "ubuntu" ] && [ "$op" == ">" ]; then
     echo "Automated Docker install"