Skip to content

Commit 7511a3a

Browse files
committed
Use the host repositories on setups we install
Also install kotlin as we always do this for our own contests.
1 parent 7535acf commit 7511a3a

File tree

1 file changed

+1
-1
lines changed
  • provision-contest/ansible/roles/judgedaemon/tasks

1 file changed

+1
-1
lines changed

provision-contest/ansible/roles/judgedaemon/tasks/main.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@
3434
dest: /tmp/dj_ansible/
3535

3636
- name: Create chroot
37-
shell: "set -o pipefail && {{ DJ_DIR }}/misc-tools/dj_make_chroot -y -i openjdk-17-jdk-headless -l \"$(ls /tmp/dj_ansible/install-chroot/*.deb 2>/dev/null | tr '\n' ',')\" -s \"$(ls /tmp/dj_ansible/chroot-list/*.list 2>/dev/null | tr '\n' ',')\" 2>&1 | tee /tmp/dj_make_chroot.log; grep '^Done building chroot in' /tmp/dj_make_chroot.log"
37+
shell: "set -o pipefail && {{ DJ_DIR }}/misc-tools/dj_make_chroot -y -H -i icpc-kotlinc,openjdk-17-jdk-headless -l \"$(ls /tmp/dj_ansible/install-chroot/*.deb 2>/dev/null | tr '\n' ',')\" -s \"$(ls /tmp/dj_ansible/chroot-list/*.list 2>/dev/null | tr '\n' ',')\" 2>&1 | tee /tmp/dj_make_chroot.log; grep '^Done building chroot in' /tmp/dj_make_chroot.log"
3838
environment:
3939
DEBMIRROR: "{%- if WF_RESTRICTED_NETWORK and ICPC_IMAGE -%}https://packages/ubuntu
4040
{%- elif ICPC_IMAGE -%}https://sysopspackages.icpc.global/ubuntu

0 commit comments

Comments
 (0)