summaryrefslogtreecommitdiff
path: root/tools/push
diff options
context:
space:
mode:
authorJohn Wiegley <johnw@newartisans.com>2010-06-02 23:17:48 -0400
committerJohn Wiegley <johnw@newartisans.com>2010-06-02 23:17:48 -0400
commit918aff67114f8f129993f7ace6d1ad83019286c7 (patch)
tree040301336ca16e093accf805cec94e4edceaba17 /tools/push
parent6ceda8320fcd81376c3b8a8bc81e48b9e87f1926 (diff)
downloadfork-ledger-918aff67114f8f129993f7ace6d1ad83019286c7.tar.gz
fork-ledger-918aff67114f8f129993f7ace6d1ad83019286c7.tar.bz2
fork-ledger-918aff67114f8f129993f7ace6d1ad83019286c7.zip
Added use of --universal option to tools/push
Diffstat (limited to 'tools/push')
-rwxr-xr-xtools/push2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/push b/tools/push
index 778f770b..a9c6bc53 100755
--- a/tools/push
+++ b/tools/push
@@ -10,6 +10,6 @@ git checkout next
git rebase master
git push
git checkout master
-./acprep -j16 opt upload
+./acprep --universal -j16 --warn opt upload
mv *.dmg* build
git checkout next