Fix: microsoft#495 code contracts build within dotnet

Disable sn.exe in VS 2017 code contracts targets, to allow code contracts to build within "dotnet build" or "dotnet test". .NET core does not support sn.exe nor `GetFrameworkSdkPath`
johncrim · Sep 25, 2017 · d4d73af · d4d73af
1 parent 05bc869
commit d4d73af
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContracts.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContracts.targets
@@ -289,9 +289,10 @@
     </ItemGroup>
   </Target>
 
+  <!-- sn.exe does not exist in .NET Core, so don't run this target in .NET Core -->
   <Target
      Name="CodeContractReSign"
-     Condition="'$(DelaySign)' != 'true'"   
+     Condition="'$(DelaySign)' != 'true' and '$(UsingMicrosoftNETSdk)' != 'true'"   
      >
     <GetFrameworkSdkPath>
       <Output