diff options
Diffstat (limited to 'jjb')
-rw-r--r-- | jjb/vpp/include-raw-vpp-docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/vpp/include-raw-vpp-docs.sh b/jjb/vpp/include-raw-vpp-docs.sh index 076004b13..de83731ae 100644 --- a/jjb/vpp/include-raw-vpp-docs.sh +++ b/jjb/vpp/include-raw-vpp-docs.sh @@ -4,7 +4,7 @@ set -e [ "$PROJECT_PATH" ] || PROJECT_PATH=io/fd/vpp [ "$DOCS_FILE" ] || DOC_FILE=vpp.docs.zip [ "$DOC_DIR" ] || DOC_DIR=build-root/docs/html -if [ ${BRANCH} == "stable/1609"]; then +if [ ${BRANCH} == "stable/1609" ]; then VERSION=16.09 else echo "************************************" |