diff --git a/frontend/build.sh b/frontend/build.sh index c7ef53ed2..f57d98af2 100644 --- a/frontend/build.sh +++ b/frontend/build.sh @@ -13,9 +13,8 @@ ee="false" check_prereq() { which docker || { echo "Docker not installed, please install docker." - exit=1 + exit 100 } - [[ exit -eq 1 ]] && exit 1 } # https://github.com/docker/cli/issues/1134#issuecomment-613516912