mbed library sources

Fork of mbed-src by mbed official

Revision:
390:35c2c1cf29cd
Parent:
262:85569914dbe0
--- 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