osmith has uploaded this change for review.

View Change

obs: build_binpkg: debian: don't install manpages

Configure dpkg to not extract man pages. Otherwise it will spend some
time regenerating the man page index whenever installing build
dependencies before starting to build a package.

Related: OS#2385
Change-Id: I1c9e3883b976e023c96dfd59eb147770f7ad99a7
---
M scripts/obs/data/build_binpkg.Dockerfile
1 file changed, 5 insertions(+), 0 deletions(-)

git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/02/29602/1

diff --git a/scripts/obs/data/build_binpkg.Dockerfile b/scripts/obs/data/build_binpkg.Dockerfile
index feacbc9..de53478 100644
--- a/scripts/obs/data/build_binpkg.Dockerfile
+++ b/scripts/obs/data/build_binpkg.Dockerfile
@@ -12,8 +12,13 @@
 # build recipe. For rpm-based distributions, there is no build-essential or
 # similar package. Instead add relevant packages from prjconf, e.g.:
 # https://build.opensuse.org/projects/CentOS:CentOS-8/prjconf
+# For debian, make sure we don't have man pages as otherwise it takes some time
+# to regenerate the manuals database when installing build dependencies.
 RUN	case "$DISTRO" in \
 	debian*) \
+		echo "path-exclude=/usr/share/man/*" \
+			> /etc/dpkg/dpkg.cfg.d/exclude-man-pages && \
+		rm -rf /usr/share/man/ && \
 		apt-get update && \
 		apt-get install -y --no-install-recommends \
 			build-essential \

To view, visit change 29602. To unsubscribe, or for help writing mail filters, visit settings.