From 9448bd6fa9d0186001345d22992ee54e7e7793b1 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sun, 15 Nov 2009 05:50:55 -0500
Subject: If tools/proof succeeds, move proof.log into /tmp

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

diff --git a/tools/proof b/tools/proof
index 7c5a16f2..c41745b6 100755
--- a/tools/proof
+++ b/tools/proof
@@ -26,6 +26,7 @@ if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
 else
     echo "Ledger proof build succeeded"
     echo $VERSION > ~/Products/last-proofed
+    mv ~/Desktop/proof.log /tmp
 fi
 
 exit 0
-- 
cgit v1.2.3