Possible GNU Make bug

[David Buehler]

I'm expecting this makefile to echo "mylib", but it echos "Makefile" then
"mylib"... perhaps there's something esoteric going on that I haven't
figured out from the documentation.

Running on Debian GNU/Linux Stable.  I installed make version 3.80 just to
check that the behavior is the same as 3.79.1, and it is.

...David...

Script started on Wed Jan 29 15:56:31 2003
[rdppsoft] 1 > ~/gnu/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.
[rdppsoft] 2 >
[rdppsoft] 2 >
[rdppsoft] 2 > cat Makefile
all : mylib

.PHONY : all force

%:force
        echo $@
[rdppsoft] 3 >
[rdppsoft] 3 >
[rdppsoft] 3 > ~/gnu/bin/make
echo Makefile
Makefile
echo mylib
mylib
[rdppsoft] 4 >
[rdppsoft] 4 >
[rdppsoft] 4 > make --version
GNU Make version 3.79.1, by Richard Stallman and Roland McGrath.
Built for i386-pc-linux-gnu
Copyright (C) 1988, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 2000
        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.

Report bugs to <address@hidden>.

[rdppsoft] 5 > make
echo Makefile
Makefile
echo mylib
mylib
[rdppsoft] 6 >
Script done on Wed Jan 29 15:57:06 2003

Makefile
Description: Makefile