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