mirror of
https://github.com/postgres/postgres.git
synced 2026-06-13 18:50:17 -04:00
Un-break duplicate_oids script.
This commit is contained in:
parent
a2ba9a76b8
commit
c53bb2759f
1 changed files with 2 additions and 0 deletions
|
|
@ -5,6 +5,8 @@
|
|||
# finds oids that are duplicated in the system tables.
|
||||
#
|
||||
|
||||
FILES=`ls pg_*.h`
|
||||
|
||||
#
|
||||
# The previous version did not use the -d option on uniq
|
||||
# so check here that it is supported.
|
||||
|
|
|
|||
Loading…
Reference in a new issue