summaryrefslogtreecommitdiff
path: root/tools/proof
diff options
context:
space:
mode:
Diffstat (limited to 'tools/proof')
-rwxr-xr-xtools/proof2
1 files changed, 0 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