mbed library sources change for ST sensors and ST BLE

Fork of mbed-src by mbed official

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();