git-remote-mediawiki build: make 'install' command configurable
authorJonathan Nieder <jrnieder@gmail.com>
Mon, 11 Nov 2013 20:45:50 +0000 (12:45 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 11 Nov 2013 22:14:06 +0000 (14:14 -0800)
On some machines, the most usable 'install' tool is named
'ginstall'.

Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Acked-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/mw-to-git/Makefile
index 389a87eab12278481de2a6f336245b52bfca1f03..36fa14c2b53c679f2fca74774f01078fabed5d23 100644 (file)
@@ -11,6 +11,8 @@ SCRIPT_PERL=git-remote-mediawiki.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)
@@ -18,8 +20,8 @@ INSTLIBDIR=$(shell $(MAKE) -C $(GIT_ROOT_DIR)/perl \
 all: build
 
 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: