From 999eb2d5012bce20ac00c81b0a481a43a3e26acc Mon Sep 17 00:00:00 2001 From: Mike Pilgrem Date: Mon, 29 Aug 2022 18:17:56 +0100 Subject: [PATCH] Try WORKDIR instead of RUN cd --- etc/dockerfiles/arm64.Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/etc/dockerfiles/arm64.Dockerfile b/etc/dockerfiles/arm64.Dockerfile index d299c72ffe..ea1543bb5b 100644 --- a/etc/dockerfiles/arm64.Dockerfile +++ b/etc/dockerfiles/arm64.Dockerfile @@ -31,7 +31,8 @@ USER root RUN chown -R stack /src USER stack -RUN cd /src +WORKDIR /src + RUN stack --verbose build --only-snapshot --test RUN stack build shake