summaryrefslogtreecommitdiff
path: root/Source/Doomed/Doomed.csproj
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/Doomed/Doomed.csproj
parentdca5ebaacf57702e3270df74a2965e08d9a7d1cb (diff)
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Diffstat (limited to 'Source/Doomed/Doomed.csproj')
-rw-r--r--Source/Doomed/Doomed.csproj2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Doomed/Doomed.csproj b/Source/Doomed/Doomed.csproj
index 8aa10eb2..d2303db3 100644
--- a/Source/Doomed/Doomed.csproj
+++ b/Source/Doomed/Doomed.csproj
@@ -11,7 +11,7 @@
<AssemblyName>Doomed</AssemblyName>
<TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
- <TargetFrameworkProfile>Client</TargetFrameworkProfile>
+ <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>
<ProductVersion>12.0.0</ProductVersion>
<SchemaVersion>2.0</SchemaVersion>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>