Git submodule update after fetching patch

[releng/global-jjb.git] / shell / rtd-verify.sh

diff --git a/shell/rtd-verify.sh b/shell/rtd-verify.sh
index 2074eca..bddc23b 100644 (file)
--- a/shell/rtd-verify.sh
+++ b/shell/rtd-verify.sh
@@ -20,6 +20,7 @@ if [ "$GERRIT_PROJECT" != "$PROJECT" ]; then
 fi
 
 git fetch origin "$GERRIT_REFSPEC" && git checkout FETCH_HEAD
+git submodule update
 
 echo "---> Generating docs"
 cd "$WORKSPACE"