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 \ ;