From b514b34120de60f6e6f38684e2a94cf864a81407 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Mon, 21 Jun 2010 12:02:43 -0400
Subject: Fixed an incorrect path in tools/proof

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

(limited to 'tools')

diff --git a/tools/proof b/tools/proof
index b020ec0b..cd7b6636 100755
--- a/tools/proof
+++ b/tools/proof
@@ -28,8 +28,8 @@ else
     echo $VERSION > ~/Products/last-proofed
     mv ~/Desktop/proof.log /tmp
 
-    cd ~/Product/ledger-proof/debug; make docs
-    cd ~/Product/ledger-proof/gcov;  make report
+    cd ~/Products/ledger-proof/debug; make docs
+    cd ~/Products/ledger-proof/gcov;  make report
 
     echo "Ledger proof build succeeded"
 fi
-- 
cgit v1.2.3