Clone of official tools

Committer:
theotherjimmy
Date:
Tue Sep 25 13:43:09 2018 -0500
Revision:
43:2a7da56ebd24
Release 5.10.0

Who changed what in which revision?

UserRevisionLine numberNew contents of line
theotherjimmy 43:2a7da56ebd24 1 {
theotherjimmy 43:2a7da56ebd24 2 "$schema": "http://json-schema.org/draft-06/schema#",
theotherjimmy 43:2a7da56ebd24 3 "title": "Mbed Library Schema",
theotherjimmy 43:2a7da56ebd24 4 "description": "Configuration file for an mbed library",
theotherjimmy 43:2a7da56ebd24 5 "type": "object",
theotherjimmy 43:2a7da56ebd24 6 "properties": {
theotherjimmy 43:2a7da56ebd24 7 "name": {
theotherjimmy 43:2a7da56ebd24 8 "$ref": "definitions.json#/name_definition"
theotherjimmy 43:2a7da56ebd24 9 },
theotherjimmy 43:2a7da56ebd24 10 "config": {
theotherjimmy 43:2a7da56ebd24 11 "$ref": "definitions.json#/config_definition"
theotherjimmy 43:2a7da56ebd24 12 },
theotherjimmy 43:2a7da56ebd24 13 "target_overrides": {
theotherjimmy 43:2a7da56ebd24 14 "$ref": "definitions.json#/target_overrides_definition"
theotherjimmy 43:2a7da56ebd24 15 },
theotherjimmy 43:2a7da56ebd24 16 "macros": {
theotherjimmy 43:2a7da56ebd24 17 "$ref": "definitions.json#/macro_definition"
theotherjimmy 43:2a7da56ebd24 18 }
theotherjimmy 43:2a7da56ebd24 19 },
theotherjimmy 43:2a7da56ebd24 20 "required": [
theotherjimmy 43:2a7da56ebd24 21 "name"
theotherjimmy 43:2a7da56ebd24 22 ],
theotherjimmy 43:2a7da56ebd24 23 "additionalProperties": false
theotherjimmy 43:2a7da56ebd24 24 }