devuan
/
jenkins-debian-glue
12
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 24 Wiki Activity
Browse Source

Speed up pbuilder: disable building of manual pages with a hook script 

Credits: Debian bug #561539
tags/v0.7.0
Yoann Dubreuil 8 years ago
parent
7ab545ac6d
commit
600499e15a
1 changed files with 7 additions and 0 deletions
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. +7
    -0
      pbuilder-hookdir/D10-man-db

+ 7
- 0
pbuilder-hookdir/D10-man-db View File

@@ -0,0 +1,7 @@
#!/bin/sh
# Don't rebuild man-db

echo "I: Preseed man-db/auto-update to false"
debconf-set-selections <<EOF
man-db man-db/auto-update boolean false
EOF

Write Preview
Loading…
Cancel
Save