www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit b01673890e947f48b244b950d15feb2c7dd6c4df
parent 8404cc860ebf4250d42cf38375d09c3be15bf501
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Sun, 29 Jul 2018 16:51:07 +0200

make -j 10 sometimes fails to mount the resulting ISO9660 filesystem, added information to help debug the issue

Diffstat:
MMakefile | 7++++++-
1 file changed, 6 insertions(+), 1 deletion(-)

diff --git 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