aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2021-01-13 13:05:20 +0100
committerOliver Smith <osmith@sysmocom.de>2021-01-13 13:05:20 +0100
commit51f99ae2509348f21fa03de27e86c123065ff3b7 (patch)
tree889abc984d31aa225ee97cf08812e38b64afd96f
parent12304c0e5ab4dedc8db6af0081d24cbdbba9ba41 (diff)
contrib/jenkins: don't build osmo-gsm-manualsHEADmaster
-rwxr-xr-xcontrib/jenkins.sh1
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index c3a1570..17345a6 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -38,7 +38,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