Skip to content

Commit 33f918c

Browse files
jrngitster
authored andcommitted
git-remote-mediawiki build: make 'install' command configurable
On some machines, the most usable 'install' tool is named 'ginstall'. Signed-off-by: Jonathan Nieder <[email protected]> Acked-by: Matthieu Moy <[email protected]> Signed-off-by: Junio C Hamano <[email protected]>
1 parent c311741 commit 33f918c

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

contrib/mw-to-git/Makefile

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,15 +11,17 @@ SCRIPT_PERL=git-remote-mediawiki.perl
1111
GIT_ROOT_DIR=../..
1212
HERE=contrib/mw-to-git/
1313

14+
INSTALL = install
15+
1416
SCRIPT_PERL_FULL=$(patsubst %,$(HERE)/%,$(SCRIPT_PERL))
1517
INSTLIBDIR=$(shell $(MAKE) -C $(GIT_ROOT_DIR)/perl \
1618
-s --no-print-directory instlibdir)
1719

1820
all: build
1921

2022
install_pm:
21-
install -d -m 755 $(DESTDIR)$(INSTLIBDIR)/Git
22-
install -m 644 $(GIT_MEDIAWIKI_PM) \
23+
$(INSTALL) -d -m 755 $(DESTDIR)$(INSTLIBDIR)/Git
24+
$(INSTALL) -m 644 $(GIT_MEDIAWIKI_PM) \
2325
$(DESTDIR)$(INSTLIBDIR)/$(GIT_MEDIAWIKI_PM)
2426

2527
build:

0 commit comments

Comments
 (0)