From f4d64cb98bf618a17594fa29d4ec0c376541af49 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Wed, 13 Jan 2021 13:15:54 +0100 Subject: contrib/jenkins: don't build osmo-gsm-manuals Related: OS#4912 Change-Id: I22246f3ff105183a7a7a0279fd6c5cde9cd19952 --- contrib/jenkins.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index b924075..c67a1c3 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -35,7 +35,6 @@ osmo-build-dep.sh libosmo-abis # Additional configure options and depends CONFIG="" if [ "$WITH_MANUALS" = "1" ]; then - osmo-build-dep.sh osmo-gsm-manuals CONFIG="--enable-manuals" fi -- cgit v1.2.3