From 3d09fd5adde762036ba5b5276f78047b427469b8 Mon Sep 17 00:00:00 2001 From: Wouter Deconinck Date: Tue, 26 Dec 2023 19:35:59 +0000 Subject: [PATCH] Update dev.Dockerfile --- containers/jug/dev.Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/containers/jug/dev.Dockerfile b/containers/jug/dev.Dockerfile index e234e4a6..0f80a070 100644 --- a/containers/jug/dev.Dockerfile +++ b/containers/jug/dev.Dockerfile @@ -137,6 +137,7 @@ RUN --mount=type=cache,target=/ccache,id=${TARGETPLATFORM} \ <