diff --git a/docker_build.sh b/docker_build.sh index 38845277f..a1150b6e4 100755 --- a/docker_build.sh +++ b/docker_build.sh @@ -2,6 +2,12 @@ set -ex echo "Building the docker image" docker build -t wasi-sdk-builder:latest . + +if ! git config safe.directory | grep /workspace; then + echo "Setting up Git safe directory" + git config --add safe.directory /workspace +fi + echo "Building the package in docker image" mkdir -p ~/.ccache -docker run --rm -v "$PWD":/workspace -v ~/.ccache:/root/.ccache -e NINJA_FLAGS=-v --workdir /workspace --tmpfs /tmp:exec wasi-sdk-builder:latest make package LLVM_CMAKE_FLAGS=-DLLVM_CCACHE_BUILD=ON +docker run --rm -v "$PWD":/workspace:Z -v ~/.ccache:/root/.ccache:Z -e NINJA_FLAGS=-v --workdir /workspace --tmpfs /tmp:exec wasi-sdk-builder:latest make package LLVM_CMAKE_FLAGS=-DLLVM_CCACHE_BUILD=ON