Skip to content

Commit c5b9457

Browse files
committed
Simplify debugging
1 parent 36fb505 commit c5b9457

File tree

1 file changed

+6
-5
lines changed

1 file changed

+6
-5
lines changed

docker-gitlabci/Dockerfile

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -67,10 +67,11 @@ RUN mkdir -p /run/php \
6767
RUN du -sh /* || true
6868

6969
# Cache the chroot
70-
RUN wget https://github.com/DOMjudge/domjudge/archive/refs/heads/main.zip \
71-
&& unzip main.zip && cd domjudge-main/misc-tools && make configure \
72-
&& cd misc-tools && make dj_make_chroot \
73-
&& ./dj_make_chroot \
74-
&& cd ../.. && rm -rf domjudge-main
70+
RUN pwd && wget https://github.com/DOMjudge/domjudge/archive/refs/heads/main.zip
71+
RUN pwd && unzip main.zip
72+
RUN pwd && cd domjudge-main/misc-tools && make configure
73+
RUN pwd && make dj_make_chroot
74+
RUN pwd && ./dj_make_chroot
75+
RUN pwd && cd ../.. && rm -rf domjudge-main
7576

7677
RUN du -sh /* || true

0 commit comments

Comments
 (0)