[PATCH 2/3] git-remote-mediawiki build: make 'install' command configurable
- From
Jonathan Nieder <jrnieder@gmail.com>
- Date
- Nov 11, 2013, 20:45 UTC
- Message-ID
- <20131111204550.GO10302@google.com>
- In-Reply-To
- <20131111204504.GM10302@google.com>
On some machines, the most usable 'install' tool is named 'ginstall'.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com> --- contrib/mw-to-git/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/contrib/mw-to-git/Makefile b/contrib/mw-to-git/Makefile index ee78fda..e685dad 100644 --- a/contrib/mw-to-git/Makefile +++ b/contrib/mw-to-git/Makefile @@ -18,6 +18,8 @@ SCRIPT_PERL+=git-mw.perl GIT_ROOT_DIR=../.. HERE=contrib/mw-to-git/ +INSTALL = install + SCRIPT_PERL_FULL=$(patsubst %,$(HERE)/%,$(SCRIPT_PERL)) INSTLIBDIR=$(shell $(MAKE) -C $(GIT_ROOT_DIR)/perl \ -s --no-print-directory instlibdir) @@ -30,8 +32,8 @@ test: all check: perlcritic test install_pm: - install -d -m 755 $(DESTDIR)$(INSTLIBDIR)/Git - install -m 644 $(GIT_MEDIAWIKI_PM) \ + $(INSTALL) -d -m 755 $(DESTDIR)$(INSTLIBDIR)/Git + $(INSTALL) -m 644 $(GIT_MEDIAWIKI_PM) \ $(DESTDIR)$(INSTLIBDIR)/$(GIT_MEDIAWIKI_PM) build:
-- 1.8.4.1