Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit7768abe

Browse files
KevinRansombrettfo
authored andcommitted
Fix TRACE define (#3237)
1 parent52005f8 commit7768abe

File tree

1 file changed

+13
-4
lines changed

1 file changed

+13
-4
lines changed

‎src/fsharp/FSharp.Build/Microsoft.FSharp.NetSdk.props‎

Lines changed: 13 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -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-
<WarningLevelCondition=" '$(WarningLevel)' == ''">3</WarningLevel>
22-
</PropertyGroup>
19+
<Choose>
20+
<WhenCondition="'$(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+
<WarningLevelCondition=" '$(WarningLevel)' == ''">3</WarningLevel>
2534
<EnableDefaultCompileItemsCondition=" '$(EnableDefaultCompileItems)' == ''">false</EnableDefaultCompileItems><!--- Do not glob F# source files-->
2635
<EnableDefaultNoneItemsCondition=" '$(EnableDefaultNoneItems)' == ''">false</EnableDefaultNoneItems><!--- Do not treat new F# files as None-->
2736
<DefaultProjectTypeGuidCondition=" '$(DefaultProjectTypeGuid)' == ''">{F2A71F9B-5D33-465A-A702-920D77279786}</DefaultProjectTypeGuid><!-- F# project type-->

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp