diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 12:56:55 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 12:59:45 +0100 |
| commit | e590dc15f4121bdd89a283d455b72701e804ee6c (patch) | |
| tree | 406df2e7d5f5e7e5192cfaa4d84597b0293b3d34 | |
| parent | 05eea1ef0a5c6439bb625fba371c2587412610b0 (diff) | |
contrib/jenkins: don't build osmo-gsm-manuals
Related: OS#4912
Change-Id: Iae17e6d6f4242f98676dd3a1b01c419ac7288047
| -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 c2ddf5a..90234e7 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -28,7 +28,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 |