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.orgReview 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>