Make: detect need to use ginstall

diff --git a/Make b/Make
index bc4720078b4e6c93bc87ffa1fc08a53968fd5697..0033ebaf1001bcfba3c1cbee9235e9be3f007578 100755 (executable)
--- 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