diff options
-rwxr-xr-x | contrib/jenkins.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 290fc62..59fcfd7 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -2,6 +2,8 @@ set -ex +publish="$1" + base="$PWD" deps="$base/deps" export deps @@ -17,4 +19,10 @@ cd "$base" $MAKE $PARALLEL_MAKE LIBOSMO_DIR="$deps/libosmocore" $MAKE $PARALLEL_MAKE LIBOSMO_DIR="$deps/libosmocore" check +if [ "x$publish" = "x--publish" ]; then + mkdir out/ + cp */*.pdf out/ + rsync -avz --delete -e "ssh -p 48" ./out/ docs@osmocom.org:web-files/latest/ +fi + osmo-clean-workspace.sh |