PX4/Firmware — pull request #994 by julianoes (2014-05-22 12:00:48+00:00)
Title: makefiles: check for correct arm-none-eabi-gcc version

This checks for the correct, so supported and recommended version of arm-none-eabi-gcc.
This should resolve #989.

Is this the right place to add this?
Do we want to specifically set it to 4.7.4 or only 4.7?