summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/proof2
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/proof b/tools/proof
index 7c5a16f2..08d2c6ee 100755
--- a/tools/proof
+++ b/tools/proof
@@ -26,6 +26,8 @@ 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