Re: make segmentation fault

[Edward Welbourne]

> This bug is fixed in the latest version, GNU make 3.80.  Please try
> that and let us know if it doesn't work.

Finally got round to trying ... bad news: <quote>

cd /home/eddy/work/toys/
/usr/local/bin/make boom-2002-Nov-13

Compilation segmentation fault at Thu Dec 19 12:50:17

</quote> using <quote>

cd /home/eddy/work/toys/
/usr/local/bin/make --version
GNU Make 3.80
Copyright (C) 2002  Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
PARTICULAR PURPOSE.

Compilation finished at Thu Dec 19 12:51:31

</quote> and the same broken <quote src="Makefile">

# make bug reproduction (NB use of : where = was intended):
PACKAPPS = simple
$(PACKAPPS:%=pack-index-dt-%):
        echo '<dt id=$(@:pack-index-dt-%:%)>' \
                '<a href="$(@:pack-index-dt-%:%)">$(@:pack-index-dt-%:%)</a>' \
        > index.html
boom-2002-Nov-13: $(PACKAPPS:%=pack-index-dt-%)

</quote> on the same <quote src="uname -a">

Linux whorl 2.2.19pre17 #1 Tue Mar 13 22:37:59 EST 2001 i686 unknown

</quote> box as before.

Med venlig hilsen på en hyggelig jul og en god nyt ar,

        Eddy.