diff --git a/installer/default_platform.conf b/installer/default_platform.conf
index 0f4f6fef042c..ddf59baffdc8 100755
--- a/installer/default_platform.conf
+++ b/installer/default_platform.conf
@@ -369,7 +369,10 @@ demo_install_uefi_shim()
 
     # make sure /boot/efi is mounted
     if ! mount | grep -q "/boot/efi"; then
-        mount /boot/efi
+        mount /boot/efi || {
+            echo "Error: Unable to mount /boot/efi"
+            exit 1
+        }
     fi
 
     # Look for the EFI system partition UUID on the same block device as