diff options
author | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 13:15:54 +0100 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 13:15:54 +0100 |
commit | f4d64cb98bf618a17594fa29d4ec0c376541af49 (patch) | |
tree | 1df39fd649a71242da7f9479812212d25dbc4fbf | |
parent | bd94b41fa83baa45030dec37eb8518b7a7beac9b (diff) |
contrib/jenkins: don't build osmo-gsm-manuals
Related: OS#4912
Change-Id: I22246f3ff105183a7a7a0279fd6c5cde9cd19952
-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 b924075..c67a1c3 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -35,7 +35,6 @@ osmo-build-dep.sh libosmo-abis # Additional configure options and depends CONFIG="" if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals CONFIG="--enable-manuals" fi |