Thanks a lot. It works.
On Tue, Jul 9, 2013 at 7:18 PM, Paul Smith <[email protected]> wrote: > On Tue, 2013-07-09 at 14:20 -0400, Martin d'Anjou wrote: > > I have found a segmentation fault executing make. This makefile makes > > little sense, but it reproduces the segfault: > > Thanks for the report. I've pushed a fix for this fault. You can use > the attached patch to try the fix yourself. > > Cheers! > > _______________________________________________ Help-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-make
