Use rm -rf instead of rmdir
This way make clean runs more... cleanly
This commit is contained in:
parent
01f2cb2115
commit
8a24a8f000
This way make clean runs more... cleanly