From b01673890e947f48b244b950d15feb2c7dd6c4df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Sun, 29 Jul 2018 16:51:07 +0200 Subject: [PATCH] make -j 10 sometimes fails to mount the resulting ISO9660 filesystem, added information to help debug the issue --- Makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 28b5d99..1f315e3 100644 --- a/Makefile +++ b/Makefile @@ -406,9 +406,14 @@ build/test_pass/sudo_fat12_mount: ${os_filename} ${dep_bytes_fat12_start} build/ build/test_pass/sudo_iso_mount: ${os_filename} build/check_makefile | build/mnt_iso sudo umount build/mnt_iso || true - sudo mount -o loop,ro $< build/mnt_iso + grep '^' build/offsets/* # debug failure to mount the ISO9660 filesystem + (sudo mount -o loop,ro $< build/mnt_iso) || true + dmesg | tail # debug failure to mount the ISO9660 filesystem + hexdump -C os.bat ls -l build/mnt_iso | grep os.zip sudo umount build/mnt_iso + sudo mount -o loop,ro $< build/mnt_iso + sudo umount build/mnt_iso touch $@ .PHONY: test/macos