From d6ecc2b24498bc2311b9fd6f2a016b37169f0165 Mon Sep 17 00:00:00 2001 From: Sean OMeara Date: Wed, 29 Mar 2023 10:24:00 +0200 Subject: [PATCH] tweaking --- ci/Dockerfile-build.deb | 1 + 1 file changed, 1 insertion(+) diff --git a/ci/Dockerfile-build.deb b/ci/Dockerfile-build.deb index a9d0fed47..09ed717f8 100644 --- a/ci/Dockerfile-build.deb +++ b/ci/Dockerfile-build.deb @@ -4,6 +4,7 @@ WORKDIR /work/build COPY . . RUN pwd RUN ls -la . +RUN make clean RUN make debian RUN ls -ls /work