If submodule init fails, try from scratch
This commit is contained in:
parent
b0c52c587f
commit
7b6c2cbe56
|
@ -71,10 +71,10 @@ script:
|
||||||
if [ "$ALLOW_PR" = "" ] && [ "$TRAVIS_BRANCH" != "auto" ]; then
|
if [ "$ALLOW_PR" = "" ] && [ "$TRAVIS_BRANCH" != "auto" ]; then
|
||||||
echo skipping, not a full build;
|
echo skipping, not a full build;
|
||||||
elif [ "$TRAVIS_OS_NAME" = "osx" ]; then
|
elif [ "$TRAVIS_OS_NAME" = "osx" ]; then
|
||||||
travis_retry git submodule update --init &&
|
travis_retry sh -c 'git submodule deinit -f . && git submodule update --init' &&
|
||||||
src/ci/run.sh;
|
src/ci/run.sh;
|
||||||
else
|
else
|
||||||
travis_retry git submodule update --init &&
|
travis_retry sh -c 'git submodule deinit -f . && git submodule update --init' &&
|
||||||
src/ci/docker/run.sh $IMAGE;
|
src/ci/docker/run.sh $IMAGE;
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue