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" |