2 files changed, 1 insertions, 2 deletions
diff --git a/tools/proof b/tools/proof
index 08d2c6ee..7c5a16f2 100755
--- a/tools/proof
+++ b/tools/proof
@@ -26,8 +26,6 @@ if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
 else
     echo "Ledger proof build succeeded"
     echo $VERSION > ~/Products/last-proofed
-
-    time ./acprep upload 2>&1 | tee ~/Desktop/upload.log
 fi
 
 exit 0
diff --git a/tools/push b/tools/push
index 2d8be6a2..2f025e96 100755
--- a/tools/push
+++ b/tools/push
@@ -9,3 +9,4 @@ git merge --no-ff next
 git checkout next
 git rebase master
 git push
+./acprep upload