commit | a835fa85d73d3ee75ad619837278e11452421f90 | [log] [tgz] |
---|---|---|
author | Oliver Smith <osmith@sysmocom.de> | Wed Jan 13 13:14:39 2021 +0100 |
committer | Oliver Smith <osmith@sysmocom.de> | Wed Jan 13 13:14:39 2021 +0100 |
tree | 6bfe4487cb0c93acd4aa926579a621bd55753ace | |
parent | 2c66c1522780efa93031da791d77a02973ee0e1f [diff] |
contrib/jenkins: don't build osmo-gsm-manuals Related: OS#4912 Change-Id: Idb179c5618797bb245fad857fa79242c43d539a2
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 96880d4..c25fdb9 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh
@@ -36,7 +36,6 @@ # Additional configure options and depends CONFIG="" if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals CONFIG="--enable-manuals" fi