> try to determine what causes the difference in 
> behavior.

If the OP did that and identified a bug and found a fix, perhaps the fix that 
stops the problem from happening in later versions, I can't see a new version 
of make-3.8x or of the Linux 2.6.26 kernel series being released to address it. 
 The OP could then roll their own but it seems they already had a solution, 
indeed several.  So perhaps their point in posting here was just to help anyone 
else suffering the same problem in finding one of their ways round it.
_______________________________________________
Bug-make mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to