Thanks, Greg and Dave. I was on a trip for a few days, thus my late answer.
I think patching is not an option in my scenario, because GNU make is one of our project's prerequisites, but not part of the cross-compilation toolchain - not your problem anyway, I am just mentioning it. GNU Make Standard Library sounds pretty "official". Is there any such affiliation with GNU make or is the name misleading? It seems to be a low-traffic SF project and I did not find any Debian package at http://www.debian.org/distrib/packages. So if this question is off-topic, I apologise and kindly ask for a private answer. Regards -- Alexander Kriegisch _______________________________________________ Help-make mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-make
