From ccb51225c51e08a87f75f2491efc1404b99ebc7e Mon Sep 17 00:00:00 2001
From: Neels Hofmeyr <neels@hofmeyr.de>
Date: Fri, 15 Dec 2017 05:36:49 +0100
Subject: jenkins.sh: incorporate publish step, for master build

Change-Id: I3c14f4e0266a4eb2702ca9fa9cf05dd54fc5d853
---
 contrib/jenkins.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

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
-- 
cgit v1.2.3