If submodule init fails, try from scratch

diff --git a/.travis.yml b/.travis.yml
index 505795d33e5ff2e069842452fe3ba6c53a15e073..4f9148ede34736e1da6600e6d248a38ca60dae3c 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -71,10 +71,10 @@ script:
       if [ "$ALLOW_PR" = "" ] && [ "$TRAVIS_BRANCH" != "auto" ]; then
           echo skipping, not a full build;
       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;
       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;
       fi