Merge pull request #87 from cosmicpsyop/fix-ubuntu-docker

ensure docker guest builddir is not tainted from a previous host build
hoytech · Dec 16, 2023 · b63eada · b63eada
2 parents 013d611 + f3dc096
commit b63eada
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ubuntu.Dockerfile b/ubuntu.Dockerfile
@@ -10,6 +10,7 @@ RUN apt update && apt install -y --no-install-recommends \
 COPY . .
 RUN git submodule update --init
 RUN make setup-golpe
+RUN make clean
 RUN make -j4
 
 FROM ubuntu:jammy as runner