Hi,

while working on a PR, I have observed the following:

 $ cat Makefile
 Makefile: Makefile.PL
	@echo "Makefile.PL is newer than Makefile"

 $ touch Makefile ; touch Makefile.PL
 $ ls -1t Make*
 Makefile.PL
 Makefile
 $ make
 `Makefile' is up to date.

 $ stat -f '%m'  Makefile Makefile.PL
 1108321248
 1108321248

 $ touch Makefile ; sleep 1; touch Makefile.PL
 $ stat -f '%m'  Makefile Makefile.PL
 1108321269
 1108321270
 $ make
 Makefile.PL is newer than Makefile

Although Makefile.PL is newer, "make" does not recognize that Makefile is
out of date. I guess "make" does not take time differences smaller than a
second into account (which "ls" obviously does).

I would say this violates the POLA, doesn't it?

ciao
     Klaus