mbed library sources. Supersedes mbed-src.

Dependents:   BREAK_SENSOR_LED

Fork of mbed-dev by mbed official

Revision:
169:e3b6fe271b81
Parent:
167:e84263d55307
--- a/platform/mbed_mktime.c	Thu Jul 06 15:42:05 2017 +0100
+++ b/platform/mbed_mktime.c	Wed Jul 19 17:31:21 2017 +0100
@@ -105,7 +105,7 @@
     }
 
     if (result > INT32_MAX) { 
-        return -1;
+        return (time_t) -1;
     }
 
     return result;