Make: detect need to use ginstall

2026-01-12 13:53:11 +09:00 · 2009-07-06 10:05:40 -07:00 · 2009-07-06 10:05:40 -07:00 · 3dc11f3bcf
commit 3dc11f3bcf
parent 5c3a7a451f
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -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