On Sun, Jan 19, 2020 at 12:10:51PM -0800, Vagrant Cascadian wrote: > When groff is built on a system with /usr merged, the paths to bash and > grep get embedded in various files (/usr/bin/gdiffmk and some example > documentation), resulting in an unreproducible build. > > The attached patch passes BASH_PROG=/bin/bash and GREP=/bin/grep, which > is compatible with both a usrmerge and non-usrmerge system.
Thanks; I committed a slight variant of this. -- Colin Watson [cjwat...@debian.org]
