@@ -16,12 +16,21 @@ WARNING: DO NOT MODIFY this file unless you are knowledgeable about MSBuild and
1616 <MSBuildAllProjects >$(MSBuildAllProjects);$(MSBuildThisFileFullPath)</MSBuildAllProjects >
1717 </PropertyGroup >
1818
19- <PropertyGroup >
20- <DefineConstants >$(DefineConstants);TRACE</DefineConstants >
21- <WarningLevel Condition =" '$(WarningLevel)' == ''" >3</WarningLevel >
22- </PropertyGroup >
19+ <Choose >
20+ <When Condition =" '$(DefineConstants)' == ''" >
21+ <PropertyGroup >
22+ <DefineConstants >TRACE</DefineConstants >
23+ </PropertyGroup >
24+ </When >
25+ <Otherwise >
26+ <PropertyGroup >
27+ <DefineConstants >$(DefineConstants);TRACE</DefineConstants >
28+ </PropertyGroup >
29+ </Otherwise >
30+ </Choose >
2331
2432 <PropertyGroup >
33+ <WarningLevel Condition =" '$(WarningLevel)' == ''" >3</WarningLevel >
2534 <EnableDefaultCompileItems Condition =" '$(EnableDefaultCompileItems)' == ''" >false</EnableDefaultCompileItems ><!-- - Do not glob F# source files-->
2635 <EnableDefaultNoneItems Condition =" '$(EnableDefaultNoneItems)' == ''" >false</EnableDefaultNoneItems ><!-- - Do not treat new F# files as None-->
2736 <DefaultProjectTypeGuid Condition =" '$(DefaultProjectTypeGuid)' == ''" >{F2A71F9B-5D33-465A-A702-920D77279786}</DefaultProjectTypeGuid ><!-- F# project type-->