summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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