diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-11-01 16:25:15 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-11-01 16:25:15 -0500 |
| commit | 4fcbef3b0cec9c1a55395c76bd03017167453cc5 (patch) | |
| tree | 00163f9f30074c9ae259e977676ee351ce3bb5bf /tools/proof | |
| parent | 29c43c8d552ced06a49cbe3cdf319cc6ea827a84 (diff) | |
| download | fork-ledger-4fcbef3b0cec9c1a55395c76bd03017167453cc5.tar.gz fork-ledger-4fcbef3b0cec9c1a55395c76bd03017167453cc5.tar.bz2 fork-ledger-4fcbef3b0cec9c1a55395c76bd03017167453cc5.zip | |
In tools/proof, change into source directory
Diffstat (limited to 'tools/proof')
| -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 && \ |