diff options
| author | asami <asami@FreeBSD.org> | 1998-04-01 09:50:02 +0800 |
|---|---|---|
| committer | asami <asami@FreeBSD.org> | 1998-04-01 09:50:02 +0800 |
| commit | bd182d3cb4cb971eb085bbbbf0e7ca3e379a29fa (patch) | |
| tree | 5a394125d2b852a6039f0483082b931e2754369c /editors/jed | |
| parent | 9f761b6861aee9e5d62b17330d9cdf0e428a338c (diff) | |
| download | freebsd-ports-gnome-bd182d3cb4cb971eb085bbbbf0e7ca3e379a29fa.tar.gz freebsd-ports-gnome-bd182d3cb4cb971eb085bbbbf0e7ca3e379a29fa.tar.zst freebsd-ports-gnome-bd182d3cb4cb971eb085bbbbf0e7ca3e379a29fa.zip | |
Don't die if a rmdir fails.
Diffstat (limited to 'editors/jed')
| -rw-r--r-- | editors/jed/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/jed/Makefile b/editors/jed/Makefile index f36f9a169751..1602ac61c935 100644 --- a/editors/jed/Makefile +++ b/editors/jed/Makefile @@ -3,7 +3,7 @@ # Date created: 22 APR 1997 # Whom: eric # -# $Id: Makefile,v 1.1.1.1 1997/06/04 06:32:22 asami Exp $ +# $Id: Makefile,v 1.2 1997/06/08 12:55:02 asami Exp $ # DISTNAME= jed0.98-4 @@ -42,7 +42,7 @@ post-install: .endif ${INSTALL_DATA} ${WRKSRC}/lib/* ${PREFIX}/lib/jed/lib ${INSTALL_DATA} ${WRKSRC}/info/jed.* ${PREFIX}/info - rmdir ${PREFIX}/lib/jed/info + -${RMDIR} ${PREFIX}/lib/jed/info .if !defined(NOPORTDOCS) ${MKDIR} ${PREFIX}/share/doc/jed ${INSTALL_DATA} ${WRKSRC}/doc/README ${WRKSRC}/doc/*.txt \ |