diff options
author | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 13:16:29 +0100 |
---|---|---|
committer | laforge <laforge@osmocom.org> | 2021-01-13 17:30:56 +0000 |
commit | f842e06c88027ed6ccf5a791d6691228b858fd56 (patch) | |
tree | 1eeb179e80d0dc7a497adbe5f6ca9696314c4acd | |
parent | eb70a4098fba78153c1a8dfc81abac40a7c72c84 (diff) |
contrib/jenkins: don't build osmo-gsm-manuals
Related: OS#4912
Change-Id: If45bb7d4958b200ca6b5d1c5b8a52eba06944909
-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 e40e081a..7c620b92 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -81,7 +81,6 @@ export LD_LIBRARY_PATH="$inst/lib" export PATH="$inst/bin:$PATH" if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals PCU_CONFIG="$PCU_CONFIG --enable-manuals" fi |