I noticed that "make maintainer-clean" doesn't remove
src/include/utils/guc_tables.inc.c. This seems to fix it:
diff --git a/src/include/Makefile b/src/include/Makefile
index 3f94543f327..58eb6da27fe 100644
--- a/src/include/Makefile
+++ b/src/include/Makefile
@@ -74,7 +74,7 @@ uninstall:
clean:
rm -f utils/fmgroids.h utils/fmgrprotos.h utils/errcodes.h
utils/header-stamp
rm -f storage/lwlocknames.h utils/probes.h utils/wait_event_types.h
- rm -f nodes/nodetags.h nodes/header-stamp
+ rm -f nodes/nodetags.h nodes/header-stamp utils/guc_tables.inc.c
$(MAKE) -C catalog clean
distclean: clean
--
nathan
