|
|
@ -17,7 +17,8 @@ cd "$SCRIPT_DIR/.." |
|
|
|
export PATH=$SCRIPT_DIR/../src/tools/pgindent/:$INSTALL_DIR/bin/:$PATH |
|
|
|
export PATH=$SCRIPT_DIR/../src/tools/pgindent/:$INSTALL_DIR/bin/:$PATH |
|
|
|
|
|
|
|
|
|
|
|
# Check everything except pg_tde with the list in the repo |
|
|
|
# Check everything except pg_tde with the list in the repo |
|
|
|
pgindent --typedefs=src/tools/pgindent/typedefs.list --excludes=<(echo "contrib/pg_tde") "$@" . |
|
|
|
# TODO: Disabled due to incorrectly indented upsrteam as of 17.4 |
|
|
|
|
|
|
|
#pgindent --typedefs=src/tools/pgindent/typedefs.list --excludes=<(echo "contrib/pg_tde") "$@" . |
|
|
|
|
|
|
|
|
|
|
|
# Check pg_tde with the fresh list extraxted from the object file |
|
|
|
# Check pg_tde with the fresh list extraxted from the object file |
|
|
|
pgindent --typedefs=combined.typedefs "$@" contrib/pg_tde |
|
|
|
pgindent --typedefs=combined.typedefs "$@" contrib/pg_tde |
|
|
|