RIOT-OS/RIOT — pull request #1201 by Kijewski (2014-05-16 17:12:54+00:00)
Title: make: make clean usable together with `-j`

Not really needed, but it comes without any cost …