Fix Docker build on modern Docker Buildx

emsec · Mar 5, 2024 · d9bbefe · d9bbefe
1 parent 8a6afbb
commit d9bbefe
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)