diff options
| author | steve <steve@FreeBSD.org> | 1998-07-17 20:38:17 +0000 |
|---|---|---|
| committer | steve <steve@FreeBSD.org> | 1998-07-17 20:38:17 +0000 |
| commit | 68f4cba0fb92da1eca4bc833686c41ee4cd8f0b0 (patch) | |
| tree | 09b9b4cc0d13691c1fbd94eaece171ce9bca7497 /shells/bash3/Makefile | |
| parent | 476a812fec50207e4086fe1ccaaeedd7df600fd1 (diff) | |
| download | FreeBSD-ports-68f4cba0fb92da1eca4bc833686c41ee4cd8f0b0.zip FreeBSD-ports-68f4cba0fb92da1eca4bc833686c41ee4cd8f0b0.tar.gz | |
Guard against a nonexistant /usr/share/info/dir.
PR: 7297
Diffstat (limited to 'shells/bash3/Makefile')
| -rw-r--r-- | shells/bash3/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/shells/bash3/Makefile b/shells/bash3/Makefile index 7faba0b..67d5c23 100644 --- a/shells/bash3/Makefile +++ b/shells/bash3/Makefile @@ -3,7 +3,7 @@ # Date created: 21 August 1994 # Whom: jkh # -# $Id: Makefile,v 1.28 1998/04/28 05:09:46 ache Exp $ +# $Id: Makefile,v 1.29 1998/05/16 11:39:19 ache Exp $ # DISTNAME= bash-2.02 @@ -20,7 +20,7 @@ GNU_CONFIGURE= Yes MAN1= bash.1 bashbug.1 pre-install: - if [ ! -s ${PREFIX}/info/dir ]; then \ + if [ ! -s ${PREFIX}/info/dir -a -f /usr/share/info/dir ]; then \ ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ fi |
