mbed SDK library sources

Fork of mbed-src by mbed official

Development branch of the mbed library sources. This library is kept in synch with the latest changes from the mbed SDK and it is not guaranteed to work.

If you are looking for a stable and tested release, please import one of the official mbed library releases:

Import librarymbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Revision:
75:99bf659e4489
Parent:
13:0645d8841f51
--- a/targets/hal/TARGET_NXP/TARGET_LPC11UXX/sleep.c	Tue Jan 14 22:15:04 2014 +0000
+++ b/targets/hal/TARGET_NXP/TARGET_LPC11UXX/sleep.c	Mon Jan 27 13:30:06 2014 +0000
@@ -19,7 +19,9 @@
 
 void sleep(void) {
     // ensure debug is disconnected
+    #if DEVICE_SEMIHOST
     mbed_interface_disconnect();
+    #endif
     
     // PCON[PD] set to sleep
     LPC_PMU->PCON = 0x0;
@@ -59,7 +61,9 @@
 
 void deepsleep(void) {
     // ensure debug is disconnected
+    #if DEVICE_SEMIHOST
     mbed_interface_disconnect();
+    #endif
     
     // PCON[PD] set to deepsleep
     LPC_PMU->PCON = 0x1;