Bug#922267: dh_missing reports missing files, though installed

2019-02-24 Thread Christian Kastner
Hi Niels, On 23.02.19 13:14, Niels Thykier wrote: > On Wed, 13 Feb 2019 22:18:18 +0100 Christian Kastner wrote: >> With an override and dh_missing --fail-tmp, I get >> >> dh_missing: usr/bin/mpi_assign exists in debian/tmp but is not installed >> to anywhere >> dh_missing:

Bug#922267: dh_missing reports missing files, though installed

2019-02-23 Thread Niels Thykier
On Wed, 13 Feb 2019 22:18:18 +0100 Christian Kastner wrote: > Package: debhelper > Version: 12.1 > Severity: normal > > I just uploaded libmpikmeans_1.5+dfsg-6. During its build, I noticed > dh_missing report two files, even though they were installed. > > With an override and dh_missing

Bug#922267: dh_missing reports missing files, though installed

2019-02-13 Thread Christian Kastner
Package: debhelper Version: 12.1 Severity: normal I just uploaded libmpikmeans_1.5+dfsg-6. During its build, I noticed dh_missing report two files, even though they were installed. With an override and dh_missing --fail-tmp, I get dh_missing: usr/bin/mpi_assign exists in debian/tmp but is not