From 3dc11f3bcf0fbc8cfeeb6824d2f085f8ef40e878 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 6 Jul 2009 10:05:40 -0700
Subject: [PATCH] Make: detect need to use ginstall

---
 Make | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Make b/Make
index bc4720078b..0033ebaf10 100755
--- a/Make
+++ b/Make
@@ -107,6 +107,10 @@ if test -z "${make:+set}" && {
 then
 	make=gmake
 fi
+if test -f /bin/ginstall
+then
+	set INSTALL=ginstall "$@"
+fi
 
 CFLAGS="$O $Wall -g"
 OK_TO_USE_CFLAGS=Yes