ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Restrict target_overries usage

pull/5998/head
Jimmy Brisson 2018-02-01 17:02:02 -06:00
parent 860b66a722
commit fad2ee55e1
1 changed files with 11 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
tools/config/definitions.json
View File

@ -29,11 +29,7 @@
"type": "object",
"patternProperties": {
"\\*": {
"type": "object",
"patternProperties": {
".*\\..*": {}
},
"additionalProperties": false
"$ref": "#/target_override_entry"
},
"^\\S+$": {
"$ref": "#/target_override_entry"
@ -69,6 +65,7 @@
},
"config_parameter_short": {
"type": [
"array",
"string",
"integer",
"boolean",
@ -88,7 +85,15 @@
"target_override_entry": {
"type": "object",
"patternProperties": {
"^\\S+$": {}
"^\\S+$": {
"type": [
"array",
"string",
"integer",
"boolean",
"null"
]
}
},
"additionalProperties": false
}