commit 1d734ce1242b3c04d4e1098354ae54c62abb0427 parent 427d59be13d15a25832a86efa0ff26cc7e623639 Author: Marcello Stanisci <stanisci.m@gmail.com> Date: Thu, 18 Apr 2019 15:35:35 +0200 trigger script Diffstat:
| A | buildbot/build-sites.sh | | | 14 | ++++++++++++++ |
1 file changed, 14 insertions(+), 0 deletions(-)
diff --git a/buildbot/build-sites.sh b/buildbot/build-sites.sh @@ -0,0 +1,14 @@ +#!/bin/bash + +set -eu + +cd $HOME/deployment + +# like "git pull", but discard local changes +git fetch +git reset --hard FETCH_HEAD + +cd $HOME/deployment/taler-sitesbuild +./invalidate.sh + +make