summaryrefslogtreecommitdiff
path: root/tools/push
blob: 0c1a019acdcf7295eb2df3e23f81b936df79a06d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#!/bin/sh

set -e

(cd plan/data; git push)
(cd plan; git commit -a -m "Update TODO files" && git push)
git checkout master
git merge --no-ff next
git checkout next
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
mv *.dmg* build
git checkout next