New comment by heliocat on void-packages repository

https://github.com/void-linux/void-packages/pull/29802#issuecomment-808920605

Comment:
@the-maldridge and I chatted about that in IRC. xbps-src in void-packages fails and CI passes without an explicit rm of ${DESTDIR}/lib, but xbps-src passes and CI fails if you explicitly remove it. I could change things to rm -rf instead to satisfy both sides but I don't like the non-determinism.