From 4fcbef3b0cec9c1a55395c76bd03017167453cc5 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sun, 1 Nov 2009 16:25:15 -0500
Subject: In tools/proof, change into source directory

---
 tools/proof | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tools/proof')

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 && \
-- 
cgit v1.2.3