@@ -36,21 +36,21 @@ WARNING: DO NOT MODIFY this file unless you are knowledgeable about MSBuild and
3636
3737 <PropertyGroup >
3838 <DefaultProjectTypeGuid Condition =" '$(DefaultProjectTypeGuid)' == ''" DefaultProjectTypeGuid ><!-- F# project type-->
39- <Prefer32Bit >false</Prefer32Bit >
40- <Tailcalls >true</Tailcalls >
41- <TreatWarningsAsErrors >false</TreatWarningsAsErrors >
39+ <Prefer32Bit Condition = " '$(Prefer32Bit)' == '' " Prefer32Bit >
40+ <Tailcalls Condition = " '$(Tailcalls)' == '' " Tailcalls >
41+ <TreatWarningsAsErrors Condition = " '$(TreatWarningsAsErrors)' == '' " TreatWarningsAsErrors >
4242 <WarningLevel Condition =" '$(WarningLevel)' == ''" WarningLevel >
43- <WarningsAsErrors />
43+ <WarningsAsErrors Condition = " '$(TreatWarningsAsErrors)' == '' "
4444 </PropertyGroup >
4545
4646 <PropertyGroup Condition =" '$(Configuration)' == 'Debug'"
47- <DebugSymbols >true</DebugSymbols >
48- <Optimize >false</Optimize >
47+ <DebugSymbols Condition = " '$(DebugSymbols)' == '' " DebugSymbols >
48+ <Optimize Condition = " '$(Optimize)' == '' " Optimize >
4949 </PropertyGroup >
5050
5151 <PropertyGroup Condition =" '$(Configuration)' == 'Release'"
52- <DebugSymbols >false</DebugSymbols >
53- <Optimize >true</Optimize >
52+ <DebugSymbols Condition = " '$(DebugSymbols)' == '' " DebugSymbols >
53+ <Optimize Condition = " '$(Optimize)' == '' " Optimize >
5454 </PropertyGroup >
5555
5656 <PropertyGroup Condition =" '$(OS)' != 'Unix' and Exists('$(MSBuildThisFileDirectory)\RunFsc.cmd')"