diff options
| author |   agardner <agardner@linuxfoundation.org> | 2017-11-02 11:44:01 -0400 |
|---|---|---|
| committer | agardner <agardner@linuxfoundation.org> | 2017-11-02 11:44:55 -0400 |
| commit | 8f798e8a7e2526790e9377057efb030c70e19759 (patch) | |
| tree | 941ea17f56ee078331ce2ebb0823b598b1f31268 /jjb/global | |
| parent | 424a1a2ab9900cfe752d886fa617ae28f018c3e5 (diff) | |
Need to change directory check for new docs verify
old dir is no longer generated
grab dir created by tox -e docs
Change-Id: If52e931f6abdc8dcb39fbe7aac3c6b3342ce81c8
Signed-off-by: agardner <agardner@linuxfoundation.org>
Diffstat (limited to 'jjb/global')
| -rw-r--r-- | jjb/global/releng-macros.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/global/releng-macros.yml b/jjb/global/releng-macros.yml index 5b9331b78..609157134 100644 --- a/jjb/global/releng-macros.yml +++ b/jjb/global/releng-macros.yml @@ -206,7 +206,7 @@ export PATH=$PATH:/usr/local/bin/ [[ $GERRIT_CHANGE_NUMBER =~ .+ ]] - [[ -d docs_output ]] || exit 0 + [[ -d docs/_build/ ]] || exit 0 echo echo "###########################" |