jenkins: create and update documentation in only one build configuration

This commit is contained in:
Ralph Lange
2014-12-19 13:18:45 +01:00
parent e3e270e242
commit 15578d1647

View File

@ -12,7 +12,10 @@
###########################################
# Determine EPICS Base version
BASE=${1:-3.14.12.4}
DEFAULT_BASE=3.14.12.4
BASE=${1:-${DEFAULT_BASE}}
[ "${1}" = ${DEFAULT_BASE} -o -z "${1}" ] && BUILD_DOCS=YES
###########################################
# Fetch and unpack dependencies
@ -49,7 +52,7 @@ EPICS_BASE=${EPICS_BASE}
EOF
make distclean all
doxygen
[ "${BUILD_DOCS}" ] && doxygen
###########################################
# Test
@ -64,4 +67,4 @@ tar -czf pvDatabase.CB-dist.tar.gz lib include dbd COPYRIGHT LICENSE
###########################################
# Publish documentation
rsync -aP --delete -e ssh documentation epics-jenkins@web.sourceforge.net:/home/project-web/epics-pvdata/htdocs/docbuild/pvDatabaseCPP/tip
[ "${BUILD_DOCS}" ] && rsync -aqP --delete -e ssh documentation epics-jenkins@web.sourceforge.net:/home/project-web/epics-pvdata/htdocs/docbuild/pvDatabaseCPP/tip