diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-02-28 05:10:56 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-02-28 05:10:56 -0400 |
| commit | cf8a6cd06130bddc2335f52d09049a0c567a2b92 (patch) | |
| tree | 60297312b283cda98dc86aea5c66fcba3127c7e1 /tools/proof | |
| parent | e0f8e36eb4ccaecf19d3882d2d2f61367205b764 (diff) | |
| download | fork-ledger-cf8a6cd06130bddc2335f52d09049a0c567a2b92.tar.gz fork-ledger-cf8a6cd06130bddc2335f52d09049a0c567a2b92.tar.bz2 fork-ledger-cf8a6cd06130bddc2335f52d09049a0c567a2b92.zip | |
Added a build step to tools/proof
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 6 |
1 files changed, 6 insertions, 0 deletions
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 %%% |