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

Related: OS#4912
Change-Id: I0f4d3b444c22c772498299f7d209fc28080af8c3
changes/51/22151/1
Oliver Smith 2 years ago
parent 644be61c4a
commit 716a2615f5
  1. 1
      contrib/jenkins.sh

@ -51,7 +51,6 @@ fi
# 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