Remove unneeded whitelines

DOMjudge · Mar 12, 2024 · f74d1b4 · f74d1b4
1 parent b5cc424
commit f74d1b4
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/provision-contest/ansible/roles/judgedaemon/tasks/main.yml b/provision-contest/ansible/roles/judgedaemon/tasks/main.yml
@@ -28,14 +28,11 @@
     src: install-chroot
     dest: /tmp/dj_ansible/
 
-
 - name: Copy chroot-list to install
   synchronize:
     src: chroot-list
     dest: /tmp/dj_ansible/
 
-
-
 - name: Create chroot
   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"
   environment: