diff options
| author | Bruce Momjian | 1998-10-03 05:41:01 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1998-10-03 05:41:01 +0000 |
| commit | 2d69fd90b969935ea2d0c192e0fad669050ce10b (patch) | |
| tree | 9b4a7f911cb046eb2385a2a5b531662fe2e2dd03 /src/tools | |
| parent | 607cd930d5095f914aa6d3f23d29a41cedcf92af (diff) | |
Integrate new IP type from Tom Ivar Helbekkmo.
Diffstat (limited to 'src/tools')
| -rwxr-xr-x | src/tools/pgindent/pgindent | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 40a9122a76..5873ae2702 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -786,6 +786,8 @@ do -Tword8 \ -Tyy_size_t \ -Tyy_state_type \ +-Tipaddr \ +-Tmacaddr \ /tmp/$$a >/tmp/$$ 2>&1 if [ "$?" -ne 0 -o -s /tmp/$$ ] then echo "$FILE" |