diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/build_snapshots.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/build_snapshots.sh b/tools/build_snapshots.sh index 5b74de8..41b7173 100755 --- a/tools/build_snapshots.sh +++ b/tools/build_snapshots.sh @@ -85,6 +85,7 @@ snapshots_sleep_between_runs() { wait ${_sleep_pid} _sleep_pid=0 # Update this repo + git -C "${BUILDER_ROOT}" reset --hard git -C "${BUILDER_ROOT}" pull -q git_last_commit if [ "${LAST_COMMIT}" != "${CURRENT_COMMIT}" ]; then |