diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-12 08:31:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-12 08:31:52 +0200 |
| commit | e6a5a4125174ac30e0b9a0572ac582d53bf61458 (patch) | |
| tree | 129fbff6b2d9ffb01128db5e30f93e84d3388f98 /lib | |
| parent | f6ecdd3ed41ff847a1cfdbfd6e3ad6c4f2d8af29 (diff) | |
| download | builder-e6a5a4125174ac30e0b9a0572ac582d53bf61458.tar.xz | |
lib/load-configuration: check out newest revision
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/load-configuration | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index ad44577..fc7b0ff 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -147,3 +147,8 @@ if [ "${master_build_server_identity}" = "${work_dir}/.ssh/id_rsa" ] && \ mkdir -p "${master_build_server_identity%/*}" ssh-keygen -b4096 -f "${master_build_server_identity}" fi + +# check out newest revision +if git -C "${base_dir}" status; then + git -C "${base_dir}" pull --ff-only +fi |