(Did not notice this bug until now, due to the way it was
reassigned to debhelper w/o ccing me.)

I don't think I can revert the change that broke this.
There are no other good approaches for fixing #713257.

To fix this in debhelper, it would need to somehow detect that this
Makefile uses a different make, perhaps by looking for a #!bsdmake, or
checking if MAKE=bsdmake. However, we then have the problem of how
debhelper is supposed to drive bsdmake to determine if the Makefile
contains particular targets. The -s -n --no-print-directory
options it uses for this may not work with other makes. I have little
desire to complicate these commands with support for other makes -- it's
hard enough to make it work reliably with GNU make!

I don't think trying to get GNU make to support BSD make features is
likely to be a prodictive approach. Fixing the few packages that
are affected seems like the most expedient way to me. They could patch
their Makefiles to work with GNU make, or they could override dh_auto_*
with manual calls to the right make command.

-- 
see shy jo

Attachment: signature.asc
Description: Digital signature

Reply via email to