for check gcc version.

Dependencies:   mbed

Revision:
0:c90924697e25
Child:
1:74efec1a152d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main.cpp	Wed Oct 21 10:31:19 2015 +0000
@@ -0,0 +1,12 @@
+#include "mbed.h"
+
+Serial pc(USBTX, USBRX);
+
+int main() {
+#if defined(__GNUC__)
+#  define GCC_VERSION (__GNUC__ * 10000 + __GNUC_MINOR__ * 100 + __GNUC_PATCHLEVEL__)
+    pc.printf("GCC_VERSION=%d\n", GCC_VERSION);
+#else
+    pc.printf("can not get GCC_VERSION\n");
+#endif
+}