summaryrefslogtreecommitdiff
path: root/Source/AbsInt
diff options
context:
space:
mode:
authorGravatar Ally Donaldson <unknown>2014-01-14 15:36:29 +0000
committerGravatar Ally Donaldson <unknown>2014-01-14 15:36:29 +0000
commit575e70d7a165be5dfe207dd2d7dcd764922237da (patch)
tree425bafd1f582419039925212c426cc20ba110d8a /Source/AbsInt
parentdca5ebaacf57702e3270df74a2965e08d9a7d1cb (diff)
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Diffstat (limited to 'Source/AbsInt')
-rw-r--r--Source/AbsInt/AbsInt.csproj2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index 699c5dac..69a2667c 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -34,7 +34,7 @@
<IsWebBootstrapper>false</IsWebBootstrapper>
<UseApplicationTrust>false</UseApplicationTrust>
<BootstrapperEnabled>true</BootstrapperEnabled>
- <TargetFrameworkProfile>Client</TargetFrameworkProfile>
+ <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>