Skip to content

Commit 6585b46

Browse files
committed
fixup
1 parent c5b9457 commit 6585b46

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

docker-gitlabci/Dockerfile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -69,8 +69,8 @@ RUN du -sh /* || true
6969
# Cache the chroot
7070
RUN pwd && wget https://github.com/DOMjudge/domjudge/archive/refs/heads/main.zip
7171
RUN pwd && unzip main.zip
72-
RUN pwd && cd domjudge-main/misc-tools && make configure
73-
RUN pwd && make dj_make_chroot
72+
RUN pwd && cd domjudge-main && make configure
73+
RUN pwd && cd misc-tools && make dj_make_chroot
7474
RUN pwd && ./dj_make_chroot
7575
RUN pwd && cd ../.. && rm -rf domjudge-main
7676

0 commit comments

Comments
 (0)