mbed official / mbed-dev

mbed library sources. Supersedes mbed-src.

Dependents:   Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more

Diff: platform/mbed_semihost_api.c

Revision:
162:e13f6fdb2ac4
Parent:
160:d5399cc887bb
Child:
187:0387e8f68319
--- a/platform/mbed_semihost_api.c	Thu Mar 30 13:45:57 2017 +0100
+++ b/platform/mbed_semihost_api.c	Wed Apr 12 16:21:43 2017 +0100
@@ -152,10 +152,11 @@
 #endif
 
 int semihost_disabledebug(void) {
+    uint32_t args[1];
 #if !(DEVICE_DEBUG_AWARENESS)
     is_debugger_attached = 0;
 #endif
-    return __semihost(USR_DISABLEDEBUG, NULL);
+    return __semihost(USR_DISABLEDEBUG, &args);
 }
 
 #endif