diff --git a/Dockerfile b/Dockerfile index c8dc626..5b1792e 100644 --- a/Dockerfile +++ b/Dockerfile @@ -207,7 +207,7 @@ ARG JULIA=1.12.6 ARG JULIA_SHA256=bbabf3bef19421a9dbd24a767d807606ab85e444323b5a1c73ffe293fa3d079a ENV \ PATH=/opt/julia/bin:$PATH \ - JULIA_DEPOT_PATH=/pc/julia_depot + JULIA_DEPOT_PATH=/pc/julia_depot: RUN : \ && echo 'lang: julia' \ && julia_minor="${JULIA%.*}" \