diff options
| -rwxr-xr-x | scripts/build/installer_debian-installer | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/build/installer_debian-installer b/scripts/build/installer_debian-installer index c24311612..729f822e8 100755 --- a/scripts/build/installer_debian-installer +++ b/scripts/build/installer_debian-installer @@ -643,8 +643,10 @@ then # Sort udebs into alphabetised pool structure for UDEB in ${UDEBS} ${UDEBS_DERIVED}; do _UDEB_FILENAME="$(basename ${UDEB})" - Install_file "${_UDEB_FILENAME}" "pool-udeb" - rm "${_UDEB_FILENAME}" + if [ -f "${_UDEB_FILENAME}" ]; then + Install_file "${_UDEB_FILENAME}" "pool-udeb" + rm "${_UDEB_FILENAME}" + fi done # Creating udeb indices |