Skip to content

Commit 5fc8a0d

Browse files
committed
Use the host repositories on setups we install
Also install kotlin as we always do this for our own contests. (cherry picked from commit 55e1995)
1 parent 7e5202f commit 5fc8a0d

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

Lines changed: 1 addition & 1 deletion
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)