summaryrefslogtreecommitdiff
path: root/buildbot/build-sites.sh
blob: a380a156cd944e17428a17b88697eb1d94f18208 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/bin/bash

set -eu

cd $HOME/deployment

# like "git pull", but discard local changes
git fetch
git reset --hard FETCH_HEAD

cd $HOME/stamps

./invalidate.sh
make