diff options
-rw-r--r-- | TODO | 2 | ||||
-rwxr-xr-x | bin/d-i_build.sh | 2 |
2 files changed, 3 insertions, 1 deletions
@@ -42,6 +42,8 @@ See link:https://jenkins.debian.net/userContent/about.html["about jenkins.debian === To be done once bugs are fixed * etc/munin/plugins/munin_stats includes the proposed fix for #767032 +* bin/d-i_build.sh includes a workaround for #767260 (console-setup doesn't support parallel build) + === jenkins-job-builder related diff --git a/bin/d-i_build.sh b/bin/d-i_build.sh index fd27c9f8..0e53866f 100755 --- a/bin/d-i_build.sh +++ b/bin/d-i_build.sh @@ -65,7 +65,7 @@ pdebuild_package() { # build (binary packages only, as sometimes we cannot get the upstream tarball...) # SOURCE=$(dpkg-parsechangelog |grep ^Source: | cut -d " " -f2) - # FIXME: workaround: #767260 (console-setup doesnt support parallel build) + # workaround #767260 (console-setup doesn't support parallel build) if [ "$SOURCE" != "console-setup" ] ; then NUM_CPU=$(cat /proc/cpuinfo |grep ^processor|wc -l) else |