diff options
-rwxr-xr-x | taler-build/update_deployment.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/taler-build/update_deployment.sh b/taler-build/update_deployment.sh new file mode 100755 index 0000000..c3aa3c5 --- /dev/null +++ b/taler-build/update_deployment.sh @@ -0,0 +1,16 @@ +#!/bin/bash + +# This update script is needed since shell scripts called +# by buildbot do NOT use the fresh deployment repo which is +# internal to buildbot, so we need to update the $HOME/deployment +# local check before starting the whole compilation + +set -eu + +cd $HOME/deployment +git clean -fdx + +# like "git pull", but robust against force pushes +# and local changes +git fetch +git reset --hard FETCH_HEAD |