diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-06-01 14:56:17 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-06-01 14:56:17 +0200 |
commit | bc72402949211ed7ddb90805ba132f205c6f9d0e (patch) | |
tree | 2b2110848c8f1ff7fd5f91f0de59e61ad51520e6 | |
parent | dd30807707568996e95cac9782403f65d78f64bb (diff) | |
download | deployment-bc72402949211ed7ddb90805ba132f205c6f9d0e.tar.gz deployment-bc72402949211ed7ddb90805ba132f205c6f9d0e.tar.bz2 deployment-bc72402949211ed7ddb90805ba132f205c6f9d0e.zip |
adding script to update local copy of deployment repo
-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 |