From c10d7d3d87527c5b29f1be0def63d0a91c594241 Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Wed, 9 Nov 2016 09:34:00 +0100 Subject: [PATCH] make: non-empty directories are ok to leave as is --- Mk/plugins.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Mk/plugins.mk b/Mk/plugins.mk index cfcf675ce..a37c2cb2e 100644 --- a/Mk/plugins.mk +++ b/Mk/plugins.mk @@ -164,7 +164,7 @@ remove: check done @(cd ${.CURDIR}/src; find * -type d -depth) | while read DIR; do \ if [ -d ${DESTDIR}${LOCALBASE}/$${DIR} ]; then \ - rmdir ${DESTDIR}${LOCALBASE}/$${DIR}; \ + rmdir ${DESTDIR}${LOCALBASE}/$${DIR} 2> /dev/null || true; \ fi; \ done