From 18689e5268b649f1a4109a6e7b7a79689df3b129 Mon Sep 17 00:00:00 2001 From: Thomas Perl Date: Wed, 22 Feb 2012 20:05:07 +0100 Subject: [PATCH] Makefile: Use $(MAKE) to use the current make When using a system that has a non-GNU "make" installed, we might want to call e.g. "gmake clean" in the source directory, and this makes sure that the same "make" is used when recursing into subdirectories. --- makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/makefile b/makefile index a7a2e5ac..d881613d 100644 --- a/makefile +++ b/makefile @@ -88,7 +88,7 @@ release: distclean releasetest: unittest $(GPODDER_DESKTOP_FILE) desktop-file-validate $(GPODDER_DESKTOP_FILE) - make -C data/po validate + $(MAKE) -C data/po validate $(GPODDER_SERVICE_FILE): $(GPODDER_SERVICE_FILE_IN) sed -e 's#__PREFIX__#$(PREFIX)#' $< >$@ @@ -112,7 +112,7 @@ $(MANPAGE): src/gpodder/__init__.py $(BINFILE) ########################################################################## messages: $(MESSAGESPOT) - make -C data/po + $(MAKE) -C data/po data/ui/%.ui.h: $(UIFILES) intltool-extract --quiet --type=gettext/glade $(subst .ui.h,.ui,$@) @@ -142,7 +142,7 @@ clean: rm -f data/gpodder-??x??.png .coverage rm -f $(GPODDER_SERVICE_FILE) $(GPODDER_DESKTOP_FILE) rm -rf build - make -C data/po clean + $(MAKE) -C data/po clean debclean: fakeroot debian/rules clean -- 2.11.4.GIT