summaryrefslogtreecommitdiff
path: root/config.json
diff options
context:
space:
mode:
authorAmy Yu <amycmyu@gmail.com>2018-07-03 12:13:51 -0700
committerAmy Yu <amycmyu@gmail.com>2018-07-09 11:50:19 -0700
commita7358133ec2544de4c4ddce5a1f75a8f449cb2ef (patch)
tree7421dd1a827dc1b514cbe517a8f4eb0e00bd88f9 /config.json
parenta5fbfa57fe7c9dc83d7f7bd4b464b97ffeed35d4 (diff)
downloadcoreclr-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.json6
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",