From 863b295a4be6304fe629082d8ae0a9ebf5c7d2eb Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Fri, 28 Nov 2025 12:03:05 +0100 Subject: [PATCH v2.1 3/3] headerscheck: Parallelize by writing out a makefile --- GNUmakefile.in | 4 ++-- src/tools/pginclude/headerscheck | 29 +++++++++++++++++++---------- 2 files changed, 21 insertions(+), 12 deletions(-) diff --git a/GNUmakefile.in b/GNUmakefile.in index cf6e759486e..eb36fd07f39 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -129,9 +129,9 @@ distcheck: dist @echo "Distribution integrity checks out." headerscheck: submake-generated-headers - $(top_srcdir)/src/tools/pginclude/headerscheck $(top_srcdir) $(abs_top_builddir) + +$(top_srcdir)/src/tools/pginclude/headerscheck $(top_srcdir) $(abs_top_builddir) cpluspluscheck: submake-generated-headers - $(top_srcdir)/src/tools/pginclude/headerscheck --cplusplus $(top_srcdir) $(abs_top_builddir) + +$(top_srcdir)/src/tools/pginclude/headerscheck --cplusplus $(top_srcdir) $(abs_top_builddir) .PHONY: dist distcheck docs install-docs world check-world install-world installcheck-world headerscheck cpluspluscheck diff --git a/src/tools/pginclude/headerscheck b/src/tools/pginclude/headerscheck index 8caa6e4de12..3d119c0b3c6 100755 --- a/src/tools/pginclude/headerscheck +++ b/src/tools/pginclude/headerscheck @@ -82,6 +82,17 @@ trap "ret=$?; rm -rf $tmp; exit $ret" 0 1 2 3 15 exit_status=0 +cat >"$tmp/Makefile" <> "$tmp/Makefile" done +cat >>"$tmp/Makefile" <