summaryrefslogtreecommitdiff
path: root/tools/push
diff options
context:
space:
mode:
authorJohn Wiegley <johnw@newartisans.com>2010-06-13 03:50:41 -0400
committerJohn Wiegley <johnw@newartisans.com>2010-06-13 03:50:41 -0400
commit0ed85124d9d3cbf607303e31802c96799ea03042 (patch)
tree387b08229e2ab58957fb89a71ffdf753c1ef874c /tools/push
parentdcdd9c4a5630db5eaf9fe20ad391c60dc7209960 (diff)
downloadfork-ledger-0ed85124d9d3cbf607303e31802c96799ea03042.tar.gz
fork-ledger-0ed85124d9d3cbf607303e31802c96799ea03042.tar.bz2
fork-ledger-0ed85124d9d3cbf607303e31802c96799ea03042.zip
Further tweaks to tools/push
Diffstat (limited to 'tools/push')
-rwxr-xr-xtools/push5
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/push b/tools/push
index 0c1a019a..286b3206 100755
--- a/tools/push
+++ b/tools/push
@@ -11,7 +11,8 @@ git rebase master
git push
git checkout master
./acprep --enable-cache --universal -j16 --warn opt upload
-./acprep --enable-cache --universal -j16 --warn opt make speedtest | \
- tee build/last-speed.txt
+cp -p ~/Products/ledger/opt/ledger ~/bin
+./acprep --enable-cache --universal -j16 --warn opt make speedtest 2>&1 \
+ | tee build/last-speed.txt
mv *.dmg* build
git checkout next