RIOT-OS/RIOT — pull request #481 by OlegHahm (2014-01-08 15:48:16+00:00)
Title: Makefile fixes

Some small cosmetics and cleanups to basic Makefiles. Eliminating issue 3 from https://github.com/RIOT-OS/RIOT/wiki/Troubleshooting by stripping BOARD variable.