summaryrefslogtreecommitdiff
path: root/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch
blob: 65bc3a988c1ab8281a2dc7abbf8195ab5387f77b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
--- a/Source/Directory.Build.props
+++ b/Source/Directory.Build.props
@@ -16,13 +16,13 @@
   </ItemGroup>
 
   <!-- Use StyleCop to check for consistent code formatting -->
-  <ItemGroup Condition="'$(Configuration)' != 'Release'">
+  <ItemGroup Condition="'$(Configuration)' == 'Disable'">
     <PackageReference Include="StyleCop.Analyzers" Version="1.1.118" PrivateAssets="All" />
     <AdditionalFiles Include="$(MSBuildThisFileDirectory)stylecop.json" />
   </ItemGroup>
 
   <!-- Configure StyleCop analysis rules -->
-  <PropertyGroup Condition="'$(Configuration)' != 'Release'">
+  <PropertyGroup Condition="'$(Configuration)' == 'Disable'">
     <CodeAnalysisRuleSet>$(MSBuildThisFileDirectory)StyleCop.ruleset</CodeAnalysisRuleSet>
   </PropertyGroup>