Browse Source

contrib/jenkins: don't build osmo-gsm-manuals

Related: OS#4912
Change-Id: Ic4f26705854a0987aa72a9064a5278b01b4d078d
# ---
changes/50/22150/1
Oliver Smith 2 years ago
parent
commit
fadaeec795
  1. 1
      contrib/jenkins.sh

1
contrib/jenkins.sh

@ -36,7 +36,6 @@ osmo-build-dep.sh simtrace2
# Additional configure options and depends
CONFIG=""
if [ "$WITH_MANUALS" = "1" ]; then
osmo-build-dep.sh osmo-gsm-manuals
CONFIG="--enable-manuals"
fi

Loading…
Cancel
Save