diff options
Diffstat (limited to 'config.json')
-rw-r--r-- | config.json | 32 |
1 files changed, 31 insertions, 1 deletions
diff --git a/config.json b/config.json index 29924b3f19..03a705449d 100644 --- a/config.json +++ b/config.json @@ -186,6 +186,18 @@ "values": [ "debug", "release", "checked" ], "defaultValue": "debug" }, + "EnableProfileGuidedOptimization": { + "description": "Enables IBC profile optimizations if profile data are available.", + "valueType": "property", + "values": [ true, false ], + "defaultValue": false + }, + "OptimizationDataDir": { + "description": "Sets the path where the build should look for IBC profile data.", + "valueType": "property", + "values": [], + "defaultValue": "" + }, "UseEnv": { "description": "Set when building for arm64.", "valueType": "property", @@ -342,6 +354,24 @@ "values": [], "defaultValue": "" }, + "OptionalToolSource": { + "description": "URL of the nuget feed used by 'optional-tools'", + "valueType": "property", + "values": [], + "defaultValue": "" + }, + "OptionalToolSourceUser": { + "description": "User name for authenticating to the optional tools feed", + "valueType": "property", + "values": [], + "defaultValue": "" + }, + "OptionalToolSourcePassword": { + "description": "VSTS token for authenticating to the optional tools feed; requires 'package(READ)' permission", + "valueType": "property", + "values": [], + "defaultValue": "" + }, "ExtraParameters": { "description": "Extra parameters will be passed to the selected command.", "valueType": "passThrough", @@ -629,4 +659,4 @@ "valueTypes": {} } } -}
\ No newline at end of file +} |