Change in osmo-gsm-manuals[master]: jenkins.sh: do not use libosomcore source

[osmith]

osmith has submitted this change and it was merged. ( https://gerrit.osmocom.org/11793 )

Change subject: jenkins.sh: do not use libosomcore source
......................................................................

jenkins.sh: do not use libosomcore source

Build scripts do not depend on the libosmocore sources anymore
with 161365f ("merge_doc.xsl: move from libosmocore.git"),
so don't try to use them in jenkins.sh anymore.

Related: OS#3385
Change-Id: Ied3661b8a02e9defca0e5aedcc4494845553db84
---
M contrib/jenkins.sh
1 file changed, 2 insertions(+), 12 deletions(-)

Approvals:
  Jenkins Builder: Verified
  Pau Espin Pedrol: Looks good to me, approved



diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 573e042..80d873d 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -4,20 +4,10 @@
 
 publish="$1"
 
-base="$PWD"
-deps="$base/deps"
-export deps
-
 osmo-clean-workspace.sh
 
-mkdir "$deps" || true
-
-cd "$deps"
-osmo-deps.sh libosmocore
-
-cd "$base"
-$MAKE $PARALLEL_MAKE LIBOSMO_DIR="$deps/libosmocore"
-$MAKE $PARALLEL_MAKE LIBOSMO_DIR="$deps/libosmocore" check
+$MAKE $PARALLEL_MAKE
+$MAKE $PARALLEL_MAKE check
 
 if [ "x$publish" = "x--publish" ]; then
   mkdir out/

-- 
To view, visit https://gerrit.osmocom.org/11793
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-gsm-manuals
Gerrit-Branch: master
Gerrit-MessageType: merged
Gerrit-Change-Id: Ied3661b8a02e9defca0e5aedcc4494845553db84
Gerrit-Change-Number: 11793
Gerrit-PatchSet: 1
Gerrit-Owner: osmith <osmith at sysmocom.de>
Gerrit-Reviewer: Jenkins Builder (1000002)
Gerrit-Reviewer: Pau Espin Pedrol <pespin at sysmocom.de>
Gerrit-Reviewer: osmith <osmith at sysmocom.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20181116/faeaf3e1/attachment.htm>