Callback: Trivial default

Turn off `callback.non-trivial` by default to save ROM space.
2019-11-21 09:51:24 +02:00 · 2019-11-21 09:51:24 +02:00 · 616b4e7bd8
parent d09d85431c
commit 616b4e7bd8
1 changed files with 1 additions and 1 deletions
--- a/platform/mbed_lib.json
+++ b/platform/mbed_lib.json
@ -125,7 +125,7 @@
        },
        "callback-nontrivial": {
            "help": "Enables support for non-trivial callable objects in Callback. Can be disabled to save ROM if no-one is using non-trivial types. Changing this value may cause incompatibility with pre-built binaries.",
-            "value": true
+            "value": false
        },
        "callback-comparable": {
            "help": "Enables support for comparing two Callbacks. See notes on operator== for limitations. Can be disabled to save ROM if not required.",