New review comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/32737#discussion_r697911868

Comment:
I would prefer `rm -r`, so it starts failing when it's not necessary anymore.