[Minios-devel] [UNIKRAFT/HELLOWORLD PATCH] Use $(MAKE) for invoking make

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Use $(MAKE) for invoking make instead of `make`. This makes building
working even on systems where `make` is installed under a different
name.

Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 6012528..5426bae 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@ UK_LIBS ?= $(PWD)/../../libs
 LIBS :=
 
 all:
-       @make -C $(UK_ROOT) A=$(PWD) L=$(LIBS)
+       @$(MAKE) -C $(UK_ROOT) A=$(PWD) L=$(LIBS)
 
 $(MAKECMDGOALS):
-       @make -C $(UK_ROOT) A=$(PWD) L=$(LIBS) $(MAKECMDGOALS)
+       @$(MAKE) -C $(UK_ROOT) A=$(PWD) L=$(LIBS) $(MAKECMDGOALS)
-- 
2.11.0


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel