From f4d4e5a22157530617efdc3c381a57349ed8f7bc Mon Sep 17 00:00:00 2001 From: Artem Gavrilov Date: Wed, 17 Jul 2024 17:28:34 +0200 Subject: [PATCH] Add indent target to makefiel --- .gitignore | 3 +++ Makefile | 9 +++++++++ typedefs.list | 22 ++++++++++++++++++++++ 3 files changed, 34 insertions(+) create mode 100644 typedefs.list diff --git a/.gitignore b/.gitignore index 3ba025a..8c869f4 100644 --- a/.gitignore +++ b/.gitignore @@ -59,3 +59,6 @@ dkms.conf ## .vscode .vscode/ .vscode/* + +# tools files +typedefs-full.list diff --git a/Makefile b/Makefile index 51fb11d..bbf0d18 100644 --- a/Makefile +++ b/Makefile @@ -30,3 +30,12 @@ top_builddir = ../.. include $(top_builddir)/src/Makefile.global include $(top_srcdir)/contrib/contrib-global.mk endif + + +update-typedefs: + wget -q -O - "https://buildfarm.postgresql.org/cgi-bin/typedefs.pl?branch=REL_16_STABLE" | cat - typedefs.list | sort | uniq > typedefs-full.list + +indent: + pgindent --typedefs=typedefs-full.list . + +.PHONY: update-typedefs indent \ No newline at end of file diff --git a/typedefs.list b/typedefs.list new file mode 100644 index 0000000..0129d0c --- /dev/null +++ b/typedefs.list @@ -0,0 +1,22 @@ +AGG_KEY +Blocks +CallTime +Calls +Counters +ErrorInfo +HistogramTimingType +JitInfo +JumbleState +LocationLen +PGSMTrackLevel +PlanInfo +QueryInfo +SysInfo +WalUsage +Wal_Usage +pgsmEntry +pgsmHashKey +pgsmLocalState +pgsmSharedState +pgsmStoreKind +pgsmVersion \ No newline at end of file