Merge branch 'bugfix/ci_fix_getting_sources' into 'master'

CI: Fix the spell for more reliable getting the sources

See merge request !1127
This commit is contained in:
Ivan Grokhotkov 2017-08-22 20:03:12 +08:00
commit 6f52cf0f9d

View file

@ -70,8 +70,8 @@ for try in `seq $RETRIES`; do
echo "Fetch strategy submodules succeeded" &&
exit 0
git submodule foreach "git reset --hard HEAD && git submodule deinit --force ."
git submodule deinit --force .
git submodule foreach --recursive "git reset --hard HEAD && git submodule deinit --force -- . || true"
git reset --hard HEAD && git submodule deinit --force -- . || true
done
# Then we use the clean way.