diff options
author | John Wiegley <johnw@newartisans.com> | 2009-03-04 14:06:38 -0400 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2009-03-04 14:06:38 -0400 |
commit | 32911da9395233a979cc45ca7e5633ef963fc94a (patch) | |
tree | 11d5a1dd4de2f8c08e1c51fe7eff55bf69d6f40d /tools/proof | |
parent | 1a1f11a6833141e67f35dc6131cab2f699aa9500 (diff) | |
download | fork-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-x | tools/proof | 7 |
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 |