RIOT-OS/RIOT — pull request #494 by OlegHahm (2014-01-10 16:19:17+00:00)
Title: prefixing application object files to avoid dups

Without this patch you may run into trouble when your application's c file has the same name like a RIOT source file.