From 32911da9395233a979cc45ca7e5633ef963fc94a Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Wed, 4 Mar 2009 14:06:38 -0400
Subject: Don't build a gprof version in tools/proof

---
 tools/proof | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index 7cf52598..d30bc678 100755
--- a/tools/proof
+++ b/tools/proof
@@ -15,10 +15,10 @@ function build_and_test() {
 	DIR=$HOME/Products/ledger-$1
     else
 	NAME="$1"
-	DIR=$HOME/Products/ledger-$1
+	DIR=$HOME/Products/ledger
 
 	echo %%% Configuring $NAME %%%
-	if ! tools/myacprep --output $DIR; then
+	if ! tools/myacprep; then
 	    echo %%% FAILED to configure $NAME %%%
 	    exit 1
 	fi
@@ -44,12 +44,11 @@ function build_and_test() {
 }
 
 build_and_test opt
-build_and_test gprof
 build_and_test gcov
 build_and_test std
 
 echo %%% Building release-distcheck %%%
-if ! (cd ~/Products/ledger-std && make release-distcheck); then
+if ! (cd ~/Products/ledger && make release-distcheck); then
     echo %%% FAILED to build release-distcheck %%%
     exit 1
 fi
-- 
cgit v1.2.3