From 53bcb46c1cf845b52c8ee33451b8f506713eb66c Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Tue, 18 Oct 2022 19:02:19 -0700 Subject: [PATCH] all: don't use cache, save some space --- cosmo-all/Dockerfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/cosmo-all/Dockerfile b/cosmo-all/Dockerfile index 05cabf0..035c621 100644 --- a/cosmo-all/Dockerfile +++ b/cosmo-all/Dockerfile @@ -17,8 +17,7 @@ RUN : \ mode "$mode" \ ; -RUN --mount=type=cache,id=cosmo-build-all,target=/cosmopolitan/o,sharing=locked \ - --mount=type=tmpfs,target=/tmp : \ +RUN --mount=type=tmpfs,target=/tmp : \ && . ./env \ && if [ -e o.old ] \ ;then : \ @@ -44,4 +43,6 @@ RUN --mount=type=cache,id=cosmo-build-all,target=/cosmopolitan/o,sharing=locked '!' -name '*_test.*' '!' -name 'test_*' -exec \ install -m0755 -t /usr/local/bin {} \ + \ +# save some space: \ + && find o '(' -name '*.com.dbg' -o -name '*_test.*' -o -name 'test_*' ')' -delete \ ;