diff options
Diffstat (limited to 'configs/profile/build.sh')
-rwxr-xr-x | configs/profile/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/profile/build.sh b/configs/profile/build.sh index 1536dad..63cd056 100755 --- a/configs/profile/build.sh +++ b/configs/profile/build.sh @@ -281,7 +281,7 @@ make_efi() { # Prepare efiboot.img::/EFI for "El Torito" EFI boot mode make_efiboot() { # Cleanup in case of previous aborted run - while mount | grep ${work_dir}/efiboot; do umount ${work_dir}/efiboot; sleep 1; done; + while mount | grep ${work_dir}/efiboot > /dev/null; do umount ${work_dir}/efiboot; sleep 1; done; rm ${work_dir}/iso/EFI/parabolaiso/efiboot.img 2> /dev/null || true # create EFI image |