From 9d585ec91a347ac8d180ba2450e90978b07e404c Mon Sep 17 00:00:00 2001
From: Jesse Wright <63333554+jeswr@users.noreply.github.com>
Date: Fri, 3 Nov 2023 14:18:33 +0000
Subject: [PATCH] chore: fix workdir

---
 docker/Dockerfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 630a5948..f6540e7a 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -30,8 +30,10 @@ RUN ninja && ninja install
 WORKDIR /
 ARG SWIPL_COMMIT
 RUN git clone https://github.com/SWI-Prolog/swipl-devel
+
+WORKDIR /swipl-devel
 RUN git checkout $SWIPL_COMMIT
-RUN cd swipl-devel && git submodule update --init --depth 1 -j 100 \
+RUN git submodule update --init --depth 1 -j 100 \
     packages/chr packages/clib packages/clpqr packages/http packages/nlp \
     packages/pcre packages/plunit packages/sgml packages/RDF \
     packages/semweb packages/zlib