Hello Bill. I do not know about your specific problem but I recently found that make 4.0 apparently fixes lots of obscure bugs. You don't mention having tried make 4.0 (I backported from latest Ubuntu/Debian to Trusty) -- if the problem is fixed in that version maybe you can just try to get your target to upgrade.
Shriramana. -- Shriramana Sharma ஶ்ரீரமணஶர்மா श्रीरमणशर्मा _______________________________________________ Help-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-make
