--- builds_bin/build_ISO	2020/06/15 04:27:12	1.44
+++ builds_bin/build_ISO	2020/06/15 04:36:11	1.45
@@ -25,7 +25,7 @@ do
     then
         echo "building efiboot.img"
         # the content of the img should be /EFI/BOOT* and not /BOOT/*, so we need to copy the content in a temp dir 
-        sudo mount -o loop  $(pwd)/$distarch/efiboot.img /tmp/loop
+        sudo mount -o loop  $(pwd)/$distarch/images/efiboot.img /tmp/loop
         sudo cp -a $(pwd)/$distarch/EFI/BOOT/grub.cfg /tmp/loop/EFI/BOOT/
         sudo umount /tmp/loop
 #        sudo rm -rf /tmp/efiboot