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