Merge branch 'next'

2 files changed, 2 insertions, 1 deletions

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
diff --git a/tools/push b/tools/push
index 2e20fc12..bee26934 100755
--- a/tools/push
+++ b/tools/push
@@ -10,6 +10,6 @@ git checkout next
 git rebase master
 git push
 git checkout master
-./acprep upload
+./acprep opt upload
 mv *.dmg* build
 git checkout next