diff --git a/debian/create-efi-kernel b/debian/create-efi-kernel index 10a871a..4cb02d0 100755 --- a/debian/create-efi-kernel +++ b/debian/create-efi-kernel @@ -33,7 +33,7 @@ done < "${temp_efi_list_file}" # }}} # Clean old kernels {{{ ## Remove all unified kernels -find "${EFI_MOUNT_PATH}"/EFI/debian -iname "linux.debian.*.efi" -delete +find "${EFI_MOUNT_PATH}/EFI/debian" -type f -iname "linux.debian.*.efi" -delete # }}} # Create unified kernels blob and efiboot entries {{{