diff options
Diffstat (limited to 'devel/gmake')
| -rw-r--r-- | devel/gmake/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/devel/gmake/Makefile b/devel/gmake/Makefile index f7432f875825..c887b329e67a 100644 --- a/devel/gmake/Makefile +++ b/devel/gmake/Makefile @@ -3,7 +3,7 @@ # Date created: 11 September 1994 # Whom: jkh # -# $Id: Makefile,v 1.14 1997/01/09 09:19:17 asami Exp $ +# $Id: Makefile,v 1.15 1997/06/12 12:31:00 max Exp $ # DISTNAME= make-3.75 @@ -18,9 +18,9 @@ MAN1= gmake.1 post-install: /bin/chmod g-s ${PREFIX}/bin/gmake /usr/bin/chgrp ${BINGRP} ${PREFIX}/bin/gmake - if [ ! -f ${PREFIX}/info/dir ]; then \ - sed -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ + @if [ ! -f ${PREFIX}/info/dir ]; then \ + ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ fi - install-info ${PREFIX}/info/make.info ${PREFIX}/info/dir + @install-info ${PREFIX}/info/make.info ${PREFIX}/info/dir .include <bsd.port.mk> |