diff options
| -rw-r--r-- | jjb/doc/doc-templates-rtd.yaml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/jjb/doc/doc-templates-rtd.yaml b/jjb/doc/doc-templates-rtd.yaml index c6bec58ec..884c3706b 100644 --- a/jjb/doc/doc-templates-rtd.yaml +++ b/jjb/doc/doc-templates-rtd.yaml @@ -58,7 +58,11 @@ builders: - shell: | if [ "$GERRIT_PROJECT" != "doc" ]; then - cd docs/submodules/$GERRIT_PROJECT + if [ -d docs/submodules/$GERRIT_PROJECT.git ]; then + cd docs/submodules/$GERRIT_PROJECT.git + else + cd docs/submodules/$GERRIT_PROJECT + fi git fetch origin $GERRIT_REFSPEC && git checkout FETCH_HEAD else git fetch origin $GERRIT_REFSPEC && git checkout FETCH_HEAD |