mkosi: Don't try to install systemd-boot in non-efi images

When using mkosi's direct linux boot support, there's no EFI
system partition so don't try to install systemd-boot in that case.

diff --git a/mkosi.postinst b/mkosi.postinst
index 1f43eec2cc7c2ebfa0b804e95e2fd3fb05cf7807..6eddadfea8c4393207e0c88abeab48ae712cb978 100755 (executable)
--- a/mkosi.postinst
+++ b/mkosi.postinst
@@ -1,7 +1,7 @@
 #!/bin/sh
 # SPDX-License-Identifier: LGPL-2.1-or-later
 
-if [ "$1" = "final" ] && command -v bootctl > /dev/null; then
+if [ "$1" = "final" ] && command -v bootctl > /dev/null && [ -d "/efi" ]; then
     bootctl install
 fi