Skip to content

Commit 55e1995

Browse files
committedSep 12, 2024
Use the host repositories on setups we install
Also install kotlin as we always do this for our own contests.
1 parent 7535acf commit 55e1995

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)
Please sign in to comment.