diff options
author | Patrick Vacek <patrickvacek@gmail.com> | 2019-10-11 14:23:51 +0200 |
---|---|---|
committer | Patrick Vacek <patrickvacek@gmail.com> | 2019-10-11 14:23:51 +0200 |
commit | f87628186bd3b548c1f449adce3116d38557df5c (patch) | |
tree | d1b0f02b5a573b6e89bf80da83a818b5469310f4 /scripts | |
parent | 57d34ea124a1d7bc6d37492b5e3c33c6fd3a7bef (diff) | |
download | meta-updater-f87628186bd3b548c1f449adce3116d38557df5c.tar.gz |
Fix CI error if repos are missing after previous runs.feat/example-virtual-sec
Signed-off-by: Patrick Vacek <patrickvacek@gmail.com>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci/checkout-oe.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/ci/checkout-oe.sh b/scripts/ci/checkout-oe.sh index fdc0e48..e8a2473 100755 --- a/scripts/ci/checkout-oe.sh +++ b/scripts/ci/checkout-oe.sh | |||
@@ -64,7 +64,9 @@ fi | |||
64 | 64 | ||
65 | repo manifest | 65 | repo manifest |
66 | 66 | ||
67 | repo forall -c 'git reset --hard ; git clean -fdx' | 67 | # Try to clean up the repos in case they are messed up, but this returns an |
68 | # error code if the repos don't exist, which the subsequent repo sync will fix. | ||
69 | repo forall -c 'git reset --hard ; git clean -fdx' || true | ||
68 | 70 | ||
69 | repo sync -d --force-sync | 71 | repo sync -d --force-sync |
70 | 72 | ||