Re: UsrMerge: building issue

2018-11-13 Thread Michael Biebl
On 13.11.18 13:37, Mattia Rizzolo wrote: > No. It's a bug in your package, please fix it. Please user-tag this bug report with User: m...@linux.it Usertags: usrmerge This will allow us to better track [1] such issues. Regards, Michael [1] https://udd.debian.org/cgi-bin/bts-usertags.cgi?tag=u

Re: UsrMerge: building issue

2018-11-13 Thread Mattia Rizzolo
On Tue, Nov 13, 2018 at 04:13:47PM +0400, Jerome BENOIT wrote: > I am encountering a UsrMerge issue with firehol: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=913552 > When I build on a local Sid chroot environment, all is fine. > But, apparently, now when we build from source, the environm

UsrMerge: building issue

2018-11-13 Thread Jerome BENOIT
Hello, I am encountering a UsrMerge issue with firehol: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=913552 When I build on a local Sid chroot environment, all is fine. But, apparently, now when we build from source, the environment seems to be UsrMerg-ed [1]. Is there a way to impose a non