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 c4702804e4801803932dbca4eba3ef3e3e820c43)
@@ -69,3 +69,3 @@
 
 gefi:
-	make -C .. prefix=$(PREFIX)
+	$(MAKE) -C .. prefix=$(PREFIX)