From c5679256e93d8022b3cdd146a28f6a362a3c79e3 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Mon, 30 Apr 2018 14:18:46 -0400
Subject: [PATCH] Write error messages about duplicate OIDs to stderr

---
 src/backend/catalog/genbki.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;
-- 
2.40.0