summaryrefslogtreecommitdiff
path: root/tools/proof
diff options
context:
space:
mode:
authorJohn Wiegley <johnw@newartisans.com>2009-03-04 14:06:38 -0400
committerJohn Wiegley <johnw@newartisans.com>2009-03-04 14:06:38 -0400
commit32911da9395233a979cc45ca7e5633ef963fc94a (patch)
tree11d5a1dd4de2f8c08e1c51fe7eff55bf69d6f40d /tools/proof
parent1a1f11a6833141e67f35dc6131cab2f699aa9500 (diff)
downloadfork-ledger-32911da9395233a979cc45ca7e5633ef963fc94a.tar.gz
fork-ledger-32911da9395233a979cc45ca7e5633ef963fc94a.tar.bz2
fork-ledger-32911da9395233a979cc45ca7e5633ef963fc94a.zip
Don't build a gprof version in tools/proof
Diffstat (limited to 'tools/proof')
-rwxr-xr-xtools/proof7
1 files changed, 3 insertions, 4 deletions
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