diff --git a/.circleci/config.yml b/.circleci/config.yml index 4d118823..d69d7f2e 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -44,6 +44,7 @@ commands: git submodule update if [ "$CIRCLE_BRANCH" = "develop" ] || [ "${BASE_BRANCH}" = "develop" ]; then #If on develop or a PR towards develop assume that all submodules are updated + echo Detected that PR is related to develop. Will update all subrepos. make update fi build-branch: