diff options
-rwxr-xr-x | tools/build_snapshots.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/build_snapshots.sh b/tools/build_snapshots.sh index 0e18985..60bec10 100755 --- a/tools/build_snapshots.sh +++ b/tools/build_snapshots.sh @@ -132,6 +132,10 @@ git_last_commit while [ /bin/true ]; do BUILDCOUNTER=$((${BUILDCOUNTER}+1)) + ${BUILDER_ROOT}/build.sh --snapshot-update-status ">>> Updating ${PRODUCT_NAME} repository." + git -C "${BUILDER_ROOT}" reset --hard + git -C "${BUILDER_ROOT}" pull -q + (${BUILDER_ROOT}/build.sh --clean-builder 2>&1) | while read -r LINE; do ${BUILDER_ROOT}/build.sh --snapshot-update-status "${LINE}" done |