Peter Eisentraut <peter_e@gmx.net> writes:
> [
> # Update timestamp for config.h (see Makefile.global)
> ! test x"$CONFIG_HEADERS" != x"" && echo >src/include/stamp-h
> ])
> This only updates the stamp file if config.h is actually being considered
> by config.status.
Someday there will need to be a sed or grep test there to see if
config.h is actually mentioned in $CONFIG_HEADERS. But as long as
we only have one output headerfile, it should work ...
regards, tom lane
