Show where we failed.

vmcj · May 25, 2024 · 90be650 · 90be650
1 parent 5dc0c9d
commit 90be650
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/jobs/bats-checks/setup_configure_image.sh b/.github/jobs/bats-checks/setup_configure_image.sh
@@ -43,7 +43,7 @@ for arg in $@; do
         set -x
         mount | grep proc | cut -d ' ' -f3
         for i in `mount | grep proc | cut -d ' ' -f3`; do
-            mount -o remount rw $i
+            mount -o remount rw $i || dmesg
         done
         set +x
         /opt/domjudge/judgehost/bin/dj_make_chroot