build: only update config-extra.h if it changes
This is to avoid updating config-extra.h timestamp very time one touches Makefile.am, because it has a large dependency chain and makes debugging of the Makefile inconvenient.
This is to avoid updating config-extra.h timestamp very time one touches Makefile.am, because it has a large dependency chain and makes debugging of the Makefile inconvenient.