On Sat, 2014-04-26 at 15:14 -0400, Martin d'Anjou wrote:
> On 14-04-25 04:40 PM, Philip Guenther wrote:
>
> > I'm unable to reproduce this following your instructions with GNU make
> > 4.0 (nor with 3.82) on OpenBSD.
>
> Bad news here too. I cannot reproduce it on Linux Mint 13 (make
> 3.82.90), but I can see it on RHEL 5.5 and RHEL 6.4 with both make 3.82
> and 4.0. Should I run it with strace or some other debug tool?
strace tracks system calls; that's unlikely to be useful here. Most
likely it's a memory issue; try installing valgrind and running it using
that ("valgrind .../make ...").
There have been a few fixes since 4.0 was released that may be relevant.
_______________________________________________
Help-make mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-make
