diff --git a/src/backend/catalog/genbki.pl b/src/backend/catalog/genbki.pl index 123c03b1c1..fb61db0a05 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;