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