File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 6969# If there is a UKI named uki.efi on the staging area use that, if not use what
7070# was passed in as $KERNEL_IMAGE but insist it has a .efi extension
7171if [ -f " $KERNEL_INSTALL_STAGING_AREA /uki.efi" ]; then
72- [ " $KERNEL_INSTALL_VERBOSE " -gt 0 ] && echo " Installing $KERNEL_INSTALL_STAGING_AREA /uki.efi"
72+ [ " $KERNEL_INSTALL_VERBOSE " -gt 0 ] && echo " Installing $KERNEL_INSTALL_STAGING_AREA /uki.efi as $UKI_FILE "
7373 install -m 0644 " $KERNEL_INSTALL_STAGING_AREA /uki.efi" " $UKI_FILE " || {
7474 echo " Error: could not copy '$KERNEL_INSTALL_STAGING_AREA /uki.efi' to '$UKI_FILE '." >&2
7575 exit 1
@@ -83,7 +83,7 @@ elif [ -n "$KERNEL_IMAGE" ]; then
8383 echo " Error: $KERNEL_IMAGE is missing .efi suffix." >&2
8484 exit 1
8585 }
86- [ " $KERNEL_INSTALL_VERBOSE " -gt 0 ] && echo " Installing $KERNEL_IMAGE "
86+ [ " $KERNEL_INSTALL_VERBOSE " -gt 0 ] && echo " Installing $KERNEL_IMAGE as $UKI_FILE "
8787 install -m 0644 " $KERNEL_IMAGE " " $UKI_FILE " || {
8888 echo " Error: could not copy '$KERNEL_IMAGE ' to '$UKI_FILE '." >&2
8989 exit 1
You can’t perform that action at this time.
0 commit comments