mbed library sources

Dependents:   Freedman_v2 Nucleo_i2c_OLED_BME280_copy

Fork of mbed-src by mbed official

Revision:
390:35c2c1cf29cd
Parent:
262:85569914dbe0
diff -r cdd2bb0365fe -r 35c2c1cf29cd common/InterruptManager.cpp
--- a/common/InterruptManager.cpp	Thu Nov 06 08:45:07 2014 +0000
+++ b/common/InterruptManager.cpp	Thu Nov 06 11:00:10 2014 +0000
@@ -1,3 +1,6 @@
+#include "cmsis.h"
+#if defined(NVIC_NUM_VECTORS)
+
 #include "InterruptManager.h"
 #include <string.h>
 
@@ -87,3 +90,4 @@
 
 } // namespace mbed
 
+#endif