RIOT-OS/RIOT — pull request #36 by authmillenon (2013-05-24 13:16:21+00:00)
Title: Use rmdir instead of rm -rf

This way make clean runs more... cleanly

* I had a lot of warnings that bin/ is not empty. This way they are avoided.