diff options
| -rwxr-xr-x | src/tools/pgindent/pgindent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index cbb43ee5c05..44756fa5036 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -1664,7 +1664,7 @@ do -Tyy_state_type \ -Tyysigned_char \ -Tz_stream \ --Tz_streamp +-Tz_streamp \ /tmp/$$a >/tmp/$$ 2>&1 if [ "$?" -ne 0 -o -s /tmp/$$ ] then echo |