That was from memory. And my example makefile to illustrate the problem
was flawed. So your patch might work reliably after all. The common
make voodoo incantation for this is a stamp file, though, as Paolo
pointed out.

FWIW, Autoconf manual says that the stamp file is needed for
low-resolution (1s or, for FAT, 2s) filesystems or something like that.