summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2021-01-13 12:56:55 +0100
committerOliver Smith <osmith@sysmocom.de>2021-01-13 12:59:45 +0100
commite590dc15f4121bdd89a283d455b72701e804ee6c (patch)
tree406df2e7d5f5e7e5192cfaa4d84597b0293b3d34
parent05eea1ef0a5c6439bb625fba371c2587412610b0 (diff)
contrib/jenkins: don't build osmo-gsm-manuals
-rwxr-xr-xcontrib/jenkins.sh1
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index c2ddf5a..90234e7 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -28,7 +28,6 @@ export PATH="$inst/bin:$PATH"
# Additional configure options and depends
CONFIG=""
if [ "$WITH_MANUALS" = "1" ]; then
- osmo-build-dep.sh osmo-gsm-manuals
CONFIG="--enable-manuals"
fi