From 0ed85124d9d3cbf607303e31802c96799ea03042 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sun, 13 Jun 2010 03:50:41 -0400
Subject: Further tweaks to tools/push

---
 tools/push | 5 +++--
 1 file 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
-- 
cgit v1.2.3