[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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.