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