Index: boot/Makefile.grub
===================================================================
--- boot/Makefile.grub	(revision 5147ff124d29e1b9d3e60be5848187fd214f2924)
+++ boot/Makefile.grub	(revision c064b58528b1a0e1c74fe2790f8ddddcb03b3e84)
@@ -55,5 +55,5 @@
 endif
 ifeq ($(GRUB_ARCH),efi)
-	$(GENISOIMAGE) -J -r -input-charset utf-8 -V "HelenOS boot ISO" -efi-boot $(ELTORITO) -o $@ $(DISTROOT)/
+	$(GENISOIMAGE) -J -r -input-charset utf-8 -V "HelenOS boot ISO" --efi-boot $(ELTORITO) -o $@ $(DISTROOT)/
 endif