From 51116b46f19dad0ea95b67be369ec1e88f1e35c3 Mon Sep 17 00:00:00 2001 From: Raphael Kubo da Costa Date: Sun, 9 Oct 2011 19:30:08 -0300 Subject: [PATCH] Use $(MAKE) instead of hardcoding `make' in the Makefiles. When one is using gmake or anything other than make itself, the same command should be used in the Makefiles too. --- Makefile | 4 ++-- i3bar/Makefile | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 58fd0178..b2a39952 100644 --- a/Makefile +++ b/Makefile @@ -104,8 +104,8 @@ dist: distclean # Only copy toplevel documentation (important stuff) mkdir i3-${VERSION}/docs # Pre-generate documentation - make -C docs - make -C i3bar/doc + $(MAKE) -C docs + $(MAKE) -C i3bar/doc # Cleanup τεχ output files find docs -regex ".*\.\(aux\|out\|log\|toc\|bm\|dvi\|log\)" -exec rm '{}' \; find docs -maxdepth 1 -type f ! \( -name "*.xcf" -or -name "*.svg" \) -exec cp '{}' i3-${VERSION}/docs \; diff --git a/i3bar/Makefile b/i3bar/Makefile index a0c472bf..2a05b146 100644 --- a/i3bar/Makefile +++ b/i3bar/Makefile @@ -33,10 +33,10 @@ install: all clean: rm -f src/*.o - make -C doc clean + $(MAKE) -C doc clean distclean: clean rm -f i3bar - make -C doc distclean + $(MAKE) -C doc distclean .PHONY: install clean distclean doc -- 2.39.5