diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 13:06:39 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 13:06:39 +0100 |
| commit | 63519744642bf070da453330508294b33c211285 (patch) | |
| tree | 28e462ebadc009354abd714eb5ea63313d5eef85 /contrib | |
| parent | cd30a40be15267c7257b733da4e9ffdf17f0614d (diff) | |
contrib/jenkins: don't build osmo-gsm-manuals
Related: OS#4912
Change-Id: I8ab46680f9b753408e7ac6ef1635f997747325e5
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/jenkins_common.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/jenkins_common.sh b/contrib/jenkins_common.sh index 085ca1e4..0c0060a9 100644 --- a/contrib/jenkins_common.sh +++ b/contrib/jenkins_common.sh @@ -43,7 +43,6 @@ build_bts() { conf_flags="$*" if [ "$WITH_MANUALS" = "1" ]; then conf_flags="$conf_flags --enable-manuals" - osmo-build-dep.sh osmo-gsm-manuals export PATH="$inst/bin:$PATH" fi |