Skip to content

Commit a800577

Browse files
Use correct shell for pipefail
1 parent 3322cf4 commit a800577

File tree

1 file changed

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

1 file changed

+1
-0
lines changed

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@
2626
environment:
2727
DEBMIRROR: "{{ 'https://packages/ubuntu' if WF_RESTRICTED_NETWORK else '' }}"
2828
args:
29+
executable: /bin/bash
2930
creates: "/chroot/domjudge"
3031

3132
- name: Pre-generate the kernel flags for ansible usage

0 commit comments

Comments
 (0)