diff options
author | Laurent Bonnans <laurent.bonnans@here.com> | 2019-07-19 11:06:52 +0200 |
---|---|---|
committer | Laurent Bonnans <laurent.bonnans@here.com> | 2019-07-19 11:06:52 +0200 |
commit | aa02efc39ead71faa6708e01eae24f445df672b2 (patch) | |
tree | 282ad080018c2ea7bcb6a616dcd8c47e8ec51372 /scripts/ci/checkout-oe.sh | |
parent | 1961fa5cf76e91c424717fac26ac64d7ea8fc39e (diff) | |
download | meta-updater-aa02efc39ead71faa6708e01eae24f445df672b2.tar.gz |
Fix pre-clean of repo manifests
Was causing problem with cache when updater-repo was updated
Signed-off-by: Laurent Bonnans <laurent.bonnans@here.com>
Diffstat (limited to 'scripts/ci/checkout-oe.sh')
-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" |