diff options
Diffstat (limited to 'contrib')
| -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 |