diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-11-01 06:52:54 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-11-01 06:52:54 -0500 |
| commit | 29c43c8d552ced06a49cbe3cdf319cc6ea827a84 (patch) | |
| tree | ceee0418fee687d75b911576332153af548ace84 /tools/proof | |
| parent | 5ef50f88779c9fb02e8c762bea9c7622464153b8 (diff) | |
| download | fork-ledger-29c43c8d552ced06a49cbe3cdf319cc6ea827a84.tar.gz fork-ledger-29c43c8d552ced06a49cbe3cdf319cc6ea827a84.tar.bz2 fork-ledger-29c43c8d552ced06a49cbe3cdf319cc6ea827a84.zip | |
Further refinements to tools/proof
Diffstat (limited to 'tools/proof')
| -rwxr-xr-x | tools/proof | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/tools/proof b/tools/proof index 7acc92fd..0509c57e 100755 --- a/tools/proof +++ b/tools/proof @@ -1,13 +1,21 @@ -#!/bin/sh +#!/bin/bash set -e +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 +23,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 |