diff options
| -rwxr-xr-x | tools/proof | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/proof b/tools/proof index 0509c57e..ede22558 100755 --- a/tools/proof +++ b/tools/proof @@ -2,6 +2,8 @@ set -e +cd ~/src/ledger + VERSION=$(git describe --all --long) if [[ -f ~/Products/last-proofed && \ |