contrib/jenkins: don't build osmo-gsm-manuals
Related: OS#4912 Change-Id: Ibacb11da37acfd324cee37068099627136717781
This commit is contained in:
parent
7e27deb8cb
commit
e8edd1fcae
|
@ -89,7 +89,6 @@ CONFIG="--enable-sanitize --enable-werror --with-uhd --with-usrp1 --with-lms --w
|
|||
|
||||
# Additional configure options and depends
|
||||
if [ "$WITH_MANUALS" = "1" ]; then
|
||||
osmo-build-dep.sh osmo-gsm-manuals
|
||||
CONFIG="$CONFIG --enable-manuals"
|
||||
fi
|
||||
|
||||
|
|
Loading…
Reference in New Issue