Index: boot/arch/ia64/loader/gefi/HelenOS/Makefile
===================================================================
--- boot/arch/ia64/loader/gefi/HelenOS/Makefile	(revision 2398ee96220787bd3b0438d6024bbe76cd7a5e82)
+++ boot/arch/ia64/loader/gefi/HelenOS/Makefile	(revision cc1f8d49ea50ec53cdbef1c6e641762fee657fb0)
@@ -69,3 +69,3 @@
 
 gefi:
-	make -C .. prefix=$(PREFIX)
+	$(MAKE) -C .. prefix=$(PREFIX)