diff options
author | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 13:07:36 +0100 |
---|---|---|
committer | laforge <laforge@osmocom.org> | 2021-01-14 14:58:50 +0000 |
commit | 120910c882e6f3ccd3c21f7b5c41be8a734ed404 (patch) | |
tree | 357e80b5744bb3092ee8d2799a320e540fb24975 | |
parent | cbf1b931f29b31d657dcb112a2139a0987ae3c81 (diff) |
contrib/jenkins: don't build osmo-gsm-manuals
Related: OS#4912
Change-Id: If655798bb47c332f7decb74ed19524b3014f69b4
-rwxr-xr-x | contrib/jenkins.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 11e42516c..0b978dca2 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -39,7 +39,6 @@ osmo-build-dep.sh osmo-mgw # Additional configure options and depends CONFIG="" if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals CONFIG="--enable-manuals" fi |