diff options
| author |  Ally Donaldson <unknown> | 2014-01-14 15:36:29 +0000 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2014-01-14 15:36:29 +0000 |
| commit | 575e70d7a165be5dfe207dd2d7dcd764922237da (patch) | |
| tree | 425bafd1f582419039925212c426cc20ba110d8a /Source/ParserHelper | |
| parent | dca5ebaacf57702e3270df74a2965e08d9a7d1cb (diff) | |
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Diffstat (limited to 'Source/ParserHelper')
| -rw-r--r-- | Source/ParserHelper/ParserHelper.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ParserHelper/ParserHelper.csproj b/Source/ParserHelper/ParserHelper.csproj index 5da15030..f3424531 100644 --- a/Source/ParserHelper/ParserHelper.csproj +++ b/Source/ParserHelper/ParserHelper.csproj @@ -12,7 +12,7 @@ <AssemblyName>ParserHelper</AssemblyName>
<TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
- <TargetFrameworkProfile>Client</TargetFrameworkProfile>
+ <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>
<CodeContractsAssemblyMode>1</CodeContractsAssemblyMode>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
|