setup-dchroot: Request unmerged /usr
authorSimon McVittie <smcv@debian.org>
Tue, 20 Nov 2018 16:18:50 +0000 (16:18 +0000)
committerJulien Cristau <jcristau@debian.org>
Tue, 20 Nov 2018 16:38:00 +0000 (17:38 +0100)
commitb54f52d2899c5785923c804fdfbba0782c147da4
treed161a30a8903c88f4020c1c227da264bdadea85e
parent7fd0118b916eca5263dfc8767be96dc69153ac8a
setup-dchroot: Request unmerged /usr

Merged /usr is known to cause multiple packages to be misbuilt. As long
as we support unmerged /usr for user systems, we should mitigate
this class of bugs by using unmerged-/usr chroots on official buildds,
resulting in binary packages that work equally well on merged- or
unmerged-/usr user systems.

See:

https://bugs.debian.org/913229
https://udd.debian.org/cgi-bin/bts-usertags.cgi?user=md@linux.it&tag=usrmerge
thread at https://lists.debian.org/debian-devel/2018/11/msg00299.html

Signed-off-by: Simon McVittie <smcv@debian.org>
Signed-off-by: Julien Cristau <jcristau@debian.org>
modules/schroot/files/setup-dchroot