RIOT-OS/RIOT — pull request #2040 by haukepetersen (2014-11-19 10:20:32+00:00)
Title: board/mbed_lpc1768: cleaned up Makefile.include

#2034 created an issue when compiling with optimization levels other then `-Os`. This PR fixes this.