summaryrefslogtreecommitdiff
path: root/Source/BoogieDriver
diff options
context:
space:
mode:
authorGravatar Ally Donaldson <unknown>2013-12-09 09:49:06 +0000
committerGravatar Ally Donaldson <unknown>2013-12-09 09:49:06 +0000
commitd7bf93bf834d9856de385de7c2d980aaf09802ca (patch)
tree8410342d9d7da2c6e3d3b4b6b8abc1b4ea983980 /Source/BoogieDriver
parentc44eeb0c3120f6bd9d377019e96ea11508252806 (diff)
parent8c029eac9244b10bf0bdf3451d91af74f0acc419 (diff)
Merge
Diffstat (limited to 'Source/BoogieDriver')
-rw-r--r--Source/BoogieDriver/BoogieDriver.csproj6
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj
index cb37cf6c..f5c366a0 100644
--- a/Source/BoogieDriver/BoogieDriver.csproj
+++ b/Source/BoogieDriver/BoogieDriver.csproj
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
@@ -222,7 +222,7 @@
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'QED|x86'">
<DebugSymbols>true</DebugSymbols>
- <OutputPath>bin\x86\QED\</OutputPath>
+ <OutputPath>..\..\Binaries\</OutputPath>
<DefineConstants>TRACE;DEBUG</DefineConstants>
<DebugType>full</DebugType>
<PlatformTarget>x86</PlatformTarget>
@@ -321,4 +321,4 @@
<Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project> \ No newline at end of file