diff options
author | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 13:11:33 +0100 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 13:11:33 +0100 |
commit | 220f0e2d94a2299f8b059957e94609fcfb4c1fbc (patch) | |
tree | 304b47af61764e3f14d9bcc60e8a59a8a22accc0 | |
parent | d37d3c8181cb232f79f676828d34699bbee24f5e (diff) |
contrib/jenkins: don't build osmo-gsm-manuals
Related: OS#4912
Change-Id: I339cc37a259e30b131fadbdaebd413c54b04f0a0
-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 46d38f7..a3a3d4a 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -28,7 +28,6 @@ osmo-build-dep.sh asn1c aper-prefix CONFIG="" if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals CONFIG="--enable-manuals" fi |