diff options
| author | John Wiegley <johnw@newartisans.com> | 2010-06-15 07:37:25 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2010-06-15 16:45:50 -0400 |
| commit | aa55e5ede28ae1c8bc672df7637f4a4a6d8c4c69 (patch) | |
| tree | fcdcecb45ae05d7b0695e1035b3979f4e560393b /tools/proof | |
| parent | 014fde3418783d1ee1ec7fe4ea6c8b04ae7f6cd8 (diff) | |
| download | fork-ledger-aa55e5ede28ae1c8bc672df7637f4a4a6d8c4c69.tar.gz fork-ledger-aa55e5ede28ae1c8bc672df7637f4a4a6d8c4c69.tar.bz2 fork-ledger-aa55e5ede28ae1c8bc672df7637f4a4a6d8c4c69.zip | |
Extended proof/push to upload tarballs/gcov
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tools/proof b/tools/proof index 755c3fe7..b020ec0b 100755 --- a/tools/proof +++ b/tools/proof @@ -14,8 +14,7 @@ fi rm -fr ~/Products/ledger-proof -time ./acprep --enable-cache --enable-doxygen \ - --universal -j16 --warn proof 2>&1 | \ +time ./acprep --enable-doxygen --universal -j16 --warn proof 2>&1 | \ tee ~/Desktop/proof.log if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then @@ -26,9 +25,13 @@ if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then exit 1 fi else - echo "Ledger proof build succeeded" echo $VERSION > ~/Products/last-proofed mv ~/Desktop/proof.log /tmp + + cd ~/Product/ledger-proof/debug; make docs + cd ~/Product/ledger-proof/gcov; make report + + echo "Ledger proof build succeeded" fi exit 0 |