mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #5998 from theotherjimmy/strict-config-schema
Restrict target_overrides usagepull/5988/merge
commit
3e5fafdca9
|
|
@ -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
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue