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

Use name definition in requires definition

pull/9561/head
Jimmy Brisson 2019-01-16 13:30:10 -06:00
parent eaa4ee4179
commit 4fbbac9acd
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/config/definitions.json
View File

@ -10,8 +10,7 @@
"descirption": "Required libraries", "descirption": "Required libraries",
"type": "array", "type": "array",
"items": { "items": {
"type": "string", "$ref": "#/name_definition"
"pattern": "(^[\\w()_]+$|^[\\w()_]+=.+$)"
} }
}, },
"macro_definition": { "macro_definition": {