Update Jenkinsfile

Author: LarsGeiger

Jenkinsfile

@@ -177,7 +177,7 @@ pipeline {
             git clone --depth 1 --branch $BRANCH "$REPO_URL" "$WORK_DIR"
             cd "$WORK_DIR"
             git submodule update --init --remote -- "$SUBMODULE_PATH"
-            if git status --porcelain -- "$SUBMODULE_PATH" | grep -q .; then
+            if git status --porcelain --ignore-submodules=none -- "$SUBMODULE_PATH" | grep -q .; then
               git add "$SUBMODULE_PATH"
               git commit -m "Update ${PLUGIN_NAME} to latest master"
               git push origin $BRANCH