mbed library sources

Fork of mbed-src by mbed official

Revision:
321:39f2bc1d0627
Parent:
299:fb529cc9bc22
--- a/common/RawSerial.cpp	Thu Sep 11 17:00:08 2014 +0100
+++ b/common/RawSerial.cpp	Fri Sep 12 11:00:06 2014 +0100
@@ -47,13 +47,6 @@
 int RawSerial::printf(const char *format, ...) {
     std::va_list arg;
     va_start(arg, format);
-#if defined(__MICROLIB) && defined(__ARMCC_VERSION) // with microlib and ARM compiler
-    char *temp;
-    temp = (char*)alloca(STRING_STACK_LIMIT);
-    vsprintf(temp, format, arg);
-    puts(temp);
-    int len = strlen(temp);
-#else
     int len = vsnprintf(NULL, 0, format, arg);
     if (len < STRING_STACK_LIMIT) {
         char temp[STRING_STACK_LIMIT];
@@ -65,7 +58,6 @@
         puts(temp);
         delete[] temp;
     }
-#endif
     va_end(arg);
     return len;
 }