From 10c72de92d46207469f68a07a958beec9c314a59 Mon Sep 17 00:00:00 2001
From: stobies <unknown>
Date: Fri, 6 Aug 2010 07:19:53 +0000
Subject: Remove support for Z3 V1 and clean up parameter processing code for
 Z3 svn-ignoring some build artifacts

---
 Binaries/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Binaries')

diff --git a/Binaries/Makefile b/Binaries/Makefile
index 3a2a7e20..6a792393 100644
--- a/Binaries/Makefile
+++ b/Binaries/Makefile
@@ -6,8 +6,8 @@ SPECSHARPROOT = d:\SpecSharpCodePlex\SpecSharp
 # Use the first one if you want to build Boogie using the LKG build of Spec#.
 # Use the second one if you want to build Boogie using a freshly built version of Spec#.
 #
-#SPECSHARPBINDIR = Microsoft.SpecSharp\LastKnownGood9
-SPECSHARPBINDIR = Microsoft.SpecSharp\Registration
+SPECSHARPBINDIR = Microsoft.SpecSharp\LastKnownGood9
+#SPECSHARPBINDIR = Microsoft.SpecSharp\Registration
 
 all: 
 	copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\ITaskManager.dll"
-- 
cgit v1.2.3