From fcd05632e0fa8798dc7d284609fc9ee88cabf4b8 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Fri, 27 Apr 2012 15:48:00 -0500 Subject: Fixes to the proofing process --- tools/proof | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools') diff --git a/tools/proof b/tools/proof index 00c7f7d1..c4d3c9f1 100755 --- a/tools/proof +++ b/tools/proof @@ -48,8 +48,8 @@ EOF else echo $VERSION > $DEST/last-proofed - cd $DEST/ledger-proof/debug; make docs - cd $DEST/ledger-proof/gcov; make report + cd $DEST/ledger-proof-python-gcc47/debug; make docs + cd $DEST/ledger-proof-python-gcc47/gcov; make report mutt -s '[ledger] Proof build succeeded' johnw@newartisans.com <