summaryrefslogtreecommitdiff
path: root/tools/push
diff options
context:
space:
mode:
authorJohn Wiegley <johnw@newartisans.com>2010-06-13 00:42:25 -0400
committerJohn Wiegley <johnw@newartisans.com>2010-06-13 00:42:25 -0400
commit40f553228f5a28034c6635fdcb4c86af28a385ed (patch)
tree2c40305c9f9841a4c3d453a4a5c49ec69056b4b2 /tools/push
parent556211e623cad88213e5087b5c9c36e754d9aa02 (diff)
parentb1b4e2aadff5983d443d70c09ea86a41b015873f (diff)
downloadfork-ledger-40f553228f5a28034c6635fdcb4c86af28a385ed.tar.gz
fork-ledger-40f553228f5a28034c6635fdcb4c86af28a385ed.tar.bz2
fork-ledger-40f553228f5a28034c6635fdcb4c86af28a385ed.zip
Merge branch 'next'
Diffstat (limited to 'tools/push')
-rwxr-xr-xtools/push4
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/push b/tools/push
index a9c6bc53..0c1a019a 100755
--- a/tools/push
+++ b/tools/push
@@ -10,6 +10,8 @@ git checkout next
git rebase master
git push
git checkout master
-./acprep --universal -j16 --warn opt upload
+./acprep --enable-cache --universal -j16 --warn opt upload
+./acprep --enable-cache --universal -j16 --warn opt make speedtest | \
+ tee build/last-speed.txt
mv *.dmg* build
git checkout next