New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/25878#discussion_r512717287

Comment:
Could this be `rmdir`?