From a3500827a22df775f67b6f706ce1859e5b6ad981 Mon Sep 17 00:00:00 2001
From: Unknown <akashl@akash-desk.fareast.corp.microsoft.com>
Date: Fri, 25 Jan 2013 09:42:05 +0530
Subject: Output to Boogie\Binaries even in the Release version

---
 Source/BoogieDriver/BoogieDriver.csproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/BoogieDriver')

diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj
index 36795a68..2478a7d4 100644
--- a/Source/BoogieDriver/BoogieDriver.csproj
+++ b/Source/BoogieDriver/BoogieDriver.csproj
@@ -78,7 +78,7 @@
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
     <DebugType>pdbonly</DebugType>
     <Optimize>true</Optimize>
-    <OutputPath>bin\Release\</OutputPath>
+    <OutputPath>..\..\Binaries\</OutputPath>
     <DefineConstants>TRACE</DefineConstants>
     <ErrorReport>prompt</ErrorReport>
     <WarningLevel>4</WarningLevel>
-- 
cgit v1.2.3