[PATCH] osmo-gsm-manuals[master]: jenkins.sh: incorporate publish step, for master build

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

Neels Hofmeyr gerrit-no-reply at lists.osmocom.org
Fri Dec 15 04:37:26 UTC 2017


Review at  https://gerrit.osmocom.org/5384

jenkins.sh: incorporate publish step, for master build

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


  git pull ssh://gerrit.osmocom.org:29418/osmo-gsm-manuals refs/changes/84/5384/1

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 @@
 $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 at osmocom.org:web-files/latest/
+fi
+
 osmo-clean-workspace.sh

-- 
To view, visit https://gerrit.osmocom.org/5384
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I3c14f4e0266a4eb2702ca9fa9cf05dd54fc5d853
Gerrit-PatchSet: 1
Gerrit-Project: osmo-gsm-manuals
Gerrit-Branch: master
Gerrit-Owner: Neels Hofmeyr <nhofmeyr at sysmocom.de>



More information about the gerrit-log mailing list