diff --git a/Dockerfile b/Dockerfile index 0c70c7ef07c..b94c0f4385c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -14,7 +14,7 @@ RUN apt-get update -y && \ apt-get install -y lsb-release COPY . . -RUN ./install_dependencies.sh +RUN HAL_DOCKER=1 ./install_dependencies.sh RUN mkdir build WORKDIR ${hal_path}/build/ diff --git a/install_dependencies.sh b/install_dependencies.sh index 510bc6e961e..747610604c7 100755 --- a/install_dependencies.sh +++ b/install_dependencies.sh @@ -4,7 +4,7 @@ platform='unknown' unamestr=$(uname) distribution='unknown' release='unknown' -if [[ -f "/.dockerenv" ]]; then +if [[ "${HAL_DOCKER:-0}" == "1" ]]; then platform='docker' distribution=$(lsb_release -is) release=$(lsb_release -rs)