diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2017-11-27 12:44:12 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2017-11-27 12:44:12 +0100 |
| commit | 2769d6b8fac9dd45da2f4203d667a9d53dae30e4 (patch) | |
| tree | c2ef9df06a87e47e77db5c9f4867beaf7e76f46d /taler-build/update_deployment.sh | |
| parent | ed827ce1bc7bd65d477c87d9b01a3b77c44f9526 (diff) | |
| download | deployment-2769d6b8fac9dd45da2f4203d667a9d53dae30e4.tar.gz deployment-2769d6b8fac9dd45da2f4203d667a9d53dae30e4.tar.bz2 deployment-2769d6b8fac9dd45da2f4203d667a9d53dae30e4.zip | |
builders don't use deployment code cloned by the
builder step, instead they use the one provided by
the dedicated update_deployment.sh script.
Diffstat (limited to 'taler-build/update_deployment.sh')
| -rwxr-xr-x | taler-build/update_deployment.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/taler-build/update_deployment.sh b/taler-build/update_deployment.sh index c3ebe4a..e539258 100755 --- a/taler-build/update_deployment.sh +++ b/taler-build/update_deployment.sh @@ -8,10 +8,8 @@ set -eu cd $HOME/deployment -git clean -fdx git fetch # reset to updated upstream branch, but only if we're tracking a branch branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD) git reset --hard "$branch" - |