make: non-empty directories are ok to leave as is

2026-05-22 18:44:07 -07:00 · 2016-11-09 09:34:00 +01:00
parent db4a3f2b58
commit c10d7d3d87
1 changed files with 1 additions and 1 deletions
@@ -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