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