From cf8a6cd06130bddc2335f52d09049a0c567a2b92 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 28 Feb 2009 05:10:56 -0400
Subject: Added a build step to tools/proof

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

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index b16cdf52..3cf7f64c 100755
--- a/tools/proof
+++ b/tools/proof
@@ -50,6 +50,12 @@ if ! (cd ~/Products/ledger-opt && make clean fullcheck); then
     exit 1
 fi
 
+echo %%% Building default %%%
+if ! (cd ~/Products/ledger && make clean fullcheck); then
+    echo %%% FAILED to build default %%%
+    exit 1
+fi
+
 echo %%% Building release-distcheck %%%
 if ! (cd ~/Products/ledger-opt && make release-distcheck); then
     echo %%% FAILED to build release-distcheck %%%
-- 
cgit v1.2.3