diff options
| author | Jonghyun Park <parjong@gmail.com> | 2017-10-13 11:45:20 +0900 |
|---|---|---|
| committer | Jan Kotas <jkotas@microsoft.com> | 2017-10-12 19:45:20 -0700 |
| commit | 4cf4202f113439b4dd99bea0cb6c8618760e55d4 (patch) | |
| tree | add628fcb92a31e4022fcfad638745f353f97653 /config.json | |
| parent | 06d4bc6922c7e8ea2413bfe49bf51a079f84e00c (diff) | |
| download | coreclr-4cf4202f113439b4dd99bea0cb6c8618760e55d4.tar.gz coreclr-4cf4202f113439b4dd99bea0cb6c8618760e55d4.tar.bz2 coreclr-4cf4202f113439b4dd99bea0cb6c8618760e55d4.zip | |
Allow not to build SOS.NETCore.dll (#14404)
* Allow not to build SOS.NETCore.dll
* Automatically enable SkipSOS when a mscorlib option is given
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 5322daa48e..8fa4f53830 100644 --- a/config.json +++ b/config.json @@ -282,6 +282,12 @@ "values": [ true, false ], "defaultValue": true }, + "SkipSOS": { + "description": "", + "valueType": "property", + "values": [ true, false ], + "defaultValue": false + }, "SignType": { "description": "Sets the SignType.", "valueType": "property", |