diff options
| -rwxr-xr-x | scripts/ci/checkout-oe.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/ci/checkout-oe.sh b/scripts/ci/checkout-oe.sh index 523d71c..fdc0e48 100755 --- a/scripts/ci/checkout-oe.sh +++ b/scripts/ci/checkout-oe.sh | |||
| @@ -19,9 +19,11 @@ mkdir -p updater-repo | |||
| 19 | 19 | ||
| 20 | cd updater-repo | 20 | cd updater-repo |
| 21 | 21 | ||
| 22 | repo init -m "${MANIFEST}.xml" -u "$REMOTE_SOURCE/updater-repo" | 22 | if [ -d .repo/manifests ]; then |
| 23 | git -C .repo/manifests reset --hard | ||
| 24 | fi | ||
| 23 | 25 | ||
| 24 | git -C .repo/manifests reset --hard | 26 | repo init -m "${MANIFEST}.xml" -u "$REMOTE_SOURCE/updater-repo" |
| 25 | 27 | ||
| 26 | # patch manifest: | 28 | # patch manifest: |
| 27 | # - add a new "ats" remote that points to "$REMOTE_SOURCE" | 29 | # - add a new "ats" remote that points to "$REMOTE_SOURCE" |
