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