From dd128685004e359426d7efda763978286745a4f9 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 7 Mar 2009 22:30:39 -0400
Subject: In tools/proof, remove Products directories first

---
 tools/proof | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index d30bc678..aec67146 100755
--- a/tools/proof
+++ b/tools/proof
@@ -43,8 +43,13 @@ function build_and_test() {
     fi
 }
 
+rm -fr ~/Products/ledger-opt
 build_and_test opt
+
+rm -fr ~/Products/ledger-gcov
 build_and_test gcov
+
+rm -fr ~/Products/ledger
 build_and_test std
 
 echo %%% Building release-distcheck %%%
-- 
cgit v1.2.3