diff options
author | Satoshi Asami <asami@FreeBSD.org> | 1998-04-01 01:50:02 +0000 |
---|---|---|
committer | Satoshi Asami <asami@FreeBSD.org> | 1998-04-01 01:50:02 +0000 |
commit | f0f4ce588159d5ad80e11d7afeb1d1d68f29a7e4 (patch) | |
tree | 4d05ff6699655b6b22aeec116e782b4bb3885e3f /editors | |
parent | 55ac03290a651d85dcda8bd8a4f3a7961ec2b0fc (diff) | |
download | ports-f0f4ce588159d5ad80e11d7afeb1d1d68f29a7e4.tar.gz ports-f0f4ce588159d5ad80e11d7afeb1d1d68f29a7e4.zip |
Don't die if a rmdir fails.
Notes
Notes:
svn path=/head/; revision=10386
Diffstat (limited to 'editors')
-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 \ |