chore: fix workdir

SWI-Prolog · Nov 3, 2023 · 9d585ec · 9d585ec
1 parent b3ea0a4
commit 9d585ec
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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