diff options
author | Amy Yu <amycmyu@gmail.com> | 2018-07-03 12:13:51 -0700 |
---|---|---|
committer | Amy Yu <amycmyu@gmail.com> | 2018-07-09 11:50:19 -0700 |
commit | a7358133ec2544de4c4ddce5a1f75a8f449cb2ef (patch) | |
tree | 7421dd1a827dc1b514cbe517a8f4eb0e00bd88f9 /config.json | |
parent | a5fbfa57fe7c9dc83d7f7bd4b464b97ffeed35d4 (diff) | |
download | coreclr-a7358133ec2544de4c4ddce5a1f75a8f449cb2ef.tar.gz coreclr-a7358133ec2544de4c4ddce5a1f75a8f449cb2ef.tar.bz2 coreclr-a7358133ec2544de4c4ddce5a1f75a8f449cb2ef.zip |
Use BuildManagedTools argument instead of environment variable, removed unneeded flags
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 65ebfa1c7d..32cd726387 100644 --- a/config.json +++ b/config.json @@ -312,6 +312,12 @@ "values": [ true, false ], "defaultValue": false }, + "BuildManagedTools": { + "description": "", + "valueType": "property", + "values": [ true, false ], + "defaultValue": true + }, "SignType": { "description": "Sets the SignType.", "valueType": "property", |