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:
79:6fdc4ea80ae0
Parent:
13:0645d8841f51
--- a/targets/hal/TARGET_NXP/TARGET_LPC176X/sleep.c	Wed Jan 29 18:45:05 2014 +0000
+++ b/targets/hal/TARGET_NXP/TARGET_LPC176X/sleep.c	Thu Jan 30 09:45:05 2014 +0000
@@ -18,9 +18,12 @@
 #include "mbed_interface.h"
 
 void sleep(void) {
+
+#if (DEVICE_SEMIHOST == 1)
     // ensure debug is disconnected
     mbed_interface_disconnect();
-    
+#endif
+
     // PCON[PD] set to sleep
     LPC_SC->PCON = 0x0;
     
@@ -58,8 +61,11 @@
 */
 
 void deepsleep(void) {
+
+#if (DEVICE_SEMIHOST == 1)
     // ensure debug is disconnected
     mbed_interface_disconnect();
+#endif
     
     // PCON[PD] set to deepsleep
     sleep();