[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [Minios-devel] [UNIKRAFT/HELLOWORLD PATCH] Use $(MAKE) for invoking make
Reviewed-by: Florian Schmidt <florian.schmidt@xxxxxxxxx> On 2/21/19 12:07 PM, Simon Kuenzer wrote: 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) -- Dr. Florian Schmidt フローリアン・シュミット Research Scientist, Systems and Machine Learning Group NEC Laboratories Europe Kurfürsten-Anlage 36, D-69115 Heidelberg Tel. +49 (0)6221 4342-265 Fax: +49 (0)6221 4342-155 e-mail: florian.schmidt@xxxxxxxxx ============================================================ Registered at Amtsgericht Mannheim, Germany, HRB728558 _______________________________________________ Minios-devel mailing list Minios-devel@xxxxxxxxxxxxxxxxxxxx https://lists.xenproject.org/mailman/listinfo/minios-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |