diff options
author | qadeer <unknown> | 2013-12-08 22:35:39 -0800 |
---|---|---|
committer | qadeer <unknown> | 2013-12-08 22:35:39 -0800 |
commit | 5f5dca6e2ca543fab3d70ccb9da6b306aacec236 (patch) | |
tree | 49321c5a0875e1dda99fc99dc662c832be0abe10 /Source/BoogieDriver | |
parent | 57f3b0868aa862a718b6703679f26d8ff148eb1f (diff) |
changed the output path for the QED build configuration to the Binaries folder
Diffstat (limited to 'Source/BoogieDriver')
-rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 6 |
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 |