aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2017-12-15 05:36:49 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2017-12-15 05:36:49 +0100
commitccb51225c51e08a87f75f2491efc1404b99ebc7e (patch)
tree24ba15bc0ff815eb39f87d0516fd451db32987c7
parent0d149fbcb87da328eec666c4d8e17597707ab699 (diff)
jenkins.sh: incorporate publish step, for master build
-rwxr-xr-xcontrib/jenkins.sh8
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