1 files changed, 3 insertions, 1 deletions

diff --git a/src/grub/Makefile.grub b/src/grub/Makefile.grub
index 299a143..bd92939 100644
--- a/src/grub/Makefile.grub
+++ b/src/grub/Makefile.grub
@@ -65,9 +65,11 @@ var/config/grub.inc: Makefile.config $(SYSLINUX_INC_DEPS)
 
 boot/grub/grub.cfg: Makefile var/config/grub.inc src/grub/grub-header.cfg
         @mkdir -p boot/grub
-        cat \
+        @echo 'do_subst src/grub/grub-header.cfg var/config/grub.inc > $(@)';
+        @$(do_subst) \
            src/grub/grub-header.cfg \
            var/config/grub.inc \
+           | sed -e "s,[@]SYSLINUX_FLAVOR[@],iso/UEFI,g" \
            > "$(@)" \
            || { rm -f "$(@)"; exit 1; }
         @touch "$(@)"