diff options
| -rwxr-xr-x | src/include/catalog/duplicate_oids | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/include/catalog/duplicate_oids b/src/include/catalog/duplicate_oids index 5d87234d22d..ebcea8f2eca 100755 --- a/src/include/catalog/duplicate_oids +++ b/src/include/catalog/duplicate_oids @@ -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. |