summaryrefslogtreecommitdiff
path: root/src/tools/pgindent/run_pgindent
diff options
context:
space:
mode:
Diffstat (limited to 'src/tools/pgindent/run_pgindent')
-rwxr-xr-xsrc/tools/pgindent/run_pgindent5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/pgindent/run_pgindent b/src/tools/pgindent/run_pgindent
new file mode 100755
index 000000000..4d2b0aa67
--- /dev/null
+++ b/src/tools/pgindent/run_pgindent
@@ -0,0 +1,5 @@
+#! /bin/sh
+tools/pgindent/pgindent \
+ --typedefs=tools/pgindent/typedefs.list \
+ --excludes=tools/pgindent/exclude_files \
+ .