diff --git a/.ci/install.sh b/.ci/install.sh index 117d1822f..fd9ffae5e 100755 --- a/.ci/install.sh +++ b/.ci/install.sh @@ -10,7 +10,10 @@ echo "pwd: $(pwd)" ls # toss submodules if there are any changes -if [ "$(git status --ignore-submodules=dirty --porcelain)" ]; then +# if [ "$(git status --ignore-submodules=dirty --porcelain)" ]; then +# "--ignore-submodules=dirty", removed temporarily, as it did not notice as +# expected that base was updated and kept using old cached base +if [ "$(git status --porcelain)" ]; then # what changed? git status # purge and reinit submodules diff --git a/base b/base index 38ba3849b..b7d41fac1 160000 --- a/base +++ b/base @@ -1 +1 @@ -Subproject commit 38ba3849b84d99d7f0a28bd3762d132b0ef98e80 +Subproject commit b7d41fac1165b053a5110156f9d5543cbbf9338e