diff options
author | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2013-01-25 09:42:05 +0530 |
---|---|---|
committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2013-01-25 09:42:05 +0530 |
commit | a3500827a22df775f67b6f706ce1859e5b6ad981 (patch) | |
tree | 9326a04e9e6923386f422823a3e26fa6abe00ddd /Source/BoogieDriver | |
parent | 336ca6ddd444374e9df63ce376f58e9eb7ed91b3 (diff) |
Output to Boogie\Binaries even in the Release version
Diffstat (limited to 'Source/BoogieDriver')
-rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
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>
|