Fix Docker build on modern Docker Buildx (#560)

Co-authored-by: SJulianS <18482153+SJulianS@users.noreply.github.com>
emsec · May 6, 2024 · e403bf5 · e403bf5
1 parent 13eadc7
commit e403bf5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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)