Hi all, and thanks for reply!
But I was doing the same thing and I'm having the same problem But, I'm using an UDOO Quad board.
I resolved my issue, finding a modified version of the Arduino IDE and a working arm-none-eabi compiler on the UDOO website (http://www.udoo.org/downloads).
Ek5