diff options
| -rw-r--r-- | src/backend/catalog/genbki.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/backend/catalog/genbki.pl b/src/backend/catalog/genbki.pl index 123c03b1c11..fb61db0a05f 100644 --- a/src/backend/catalog/genbki.pl +++ b/src/backend/catalog/genbki.pl @@ -137,8 +137,8 @@ my $found = 0; foreach my $oid (keys %oidcounts) { next unless $oidcounts{$oid} > 1; - print "Duplicate oids detected:\n" if !$found; - print "$oid\n"; + print STDERR "Duplicate OIDs detected:\n" if !$found; + print STDERR "$oid\n"; $found++; } die "found $found duplicate OID(s) in catalog data\n" if $found; |