diff --git a/mbed_app.json b/mbed_app.json index 6e884d8..cc02d43 100644 --- a/mbed_app.json +++ b/mbed_app.json @@ -1,7 +1,8 @@ { "target_overrides": { "*": { - "platform.stdio-convert-newlines": true + "platform.stdio-convert-newlines": true, + "platform.callback-nontrivial": true } } }