diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-11-01 16:25:20 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-11-01 16:25:20 -0500 |
| commit | a048afc8a34d3a1c1a6372ef6b7cc373779bcac0 (patch) | |
| tree | 00163f9f30074c9ae259e977676ee351ce3bb5bf /tools | |
| parent | 0cb80a51ea2d64e2069d6ef9d3a42a0996b73c88 (diff) | |
| parent | 4fcbef3b0cec9c1a55395c76bd03017167453cc5 (diff) | |
| download | fork-ledger-a048afc8a34d3a1c1a6372ef6b7cc373779bcac0.tar.gz fork-ledger-a048afc8a34d3a1c1a6372ef6b7cc373779bcac0.tar.bz2 fork-ledger-a048afc8a34d3a1c1a6372ef6b7cc373779bcac0.zip | |
Merge branch 'next'
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/proof | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/tools/proof b/tools/proof index 7acc92fd..ede22558 100755 --- a/tools/proof +++ b/tools/proof @@ -1,13 +1,23 @@ -#!/bin/sh +#!/bin/bash set -e +cd ~/src/ledger + +VERSION=$(git describe --all --long) + +if [[ -f ~/Products/last-proofed && \ + $(< ~/Products/last-proofed) = $VERSION ]]; then + echo "No need to run tools/proof again" + exit 0 +fi + rm -fr ~/Products/ledger* ./acprep -j16 --warn proof 2>&1 | tee ~/Desktop/proof.log if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then - if [ "$1" = "--alert" ]; then + if [[ "$1" = "--alert" ]]; then notify "Ledger proof build FAILED" else echo "Ledger proof build FAILED" @@ -15,6 +25,7 @@ if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then fi else echo "Ledger proof build succeeded" + echo $VERSION > ~/Products/last-proofed fi exit 0 |