On Wed, Oct 24, 2018 at 12:13:09PM +0200, Adam wrote: > It is due to this fragment in tools/replace.mk -- why is it needed? Historically, we have supported using GNU patch, before we stopped doing so... Joerg