diff options
author | Tomas Weinfurt <tweinfurt@yahoo.com> | 2017-08-18 01:38:07 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-18 01:38:07 +0300 |
commit | 39b450561071309276b7cef7a4ecb45407423ec0 (patch) | |
tree | d86e66f3c190cf3aa17443b1f46dba903b4b59f9 /config.json | |
parent | 41fd569ab880073a0140c8aee232ee118250a450 (diff) |
add option to specify clang and few minor improvements for Linux (#23302)
* add option to specify clang and few minor improvements
* roll-back $* $@ change. that should be separate PR
Diffstat (limited to 'config.json')
-rw-r--r-- | config.json | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config.json b/config.json index 5d56835827..44fe6989e2 100644 --- a/config.json +++ b/config.json @@ -246,6 +246,12 @@ "values": [], "defaultValue": "Please-Specify-A-Directory" }, + "Clang": { + "description": "Specific version of Clang to use e.g. clang3.7, clang3.8, etc ...", + "valueType": "property", + "values": [], + "defaultValue": "" + }, }, "commands": { "build-directory": { |