Write error messages about duplicate OIDs to stderr

diff --git a/src/backend/catalog/genbki.pl b/src/backend/catalog/genbki.pl
index 123c03b1c113dca716e7d5f9149598f274cded4d..fb61db0a05fdf1e9f18ab14ed3e93ba48682f834 100644 (file)
--- 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;