summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorTom Lane <tgl@sss.pgh.pa.us>2016-08-28 17:44:29 -0400
committerTom Lane <tgl@sss.pgh.pa.us>2016-08-28 17:44:29 -0400
commitb899ccbb49cbcf8431b3af43fcf3faf91e6a28c6 (patch)
treea19335910dd0656bf2c11ce342394c67864c1dff /src
parent39d866433e6fb1c385eee8dc67843097b8703add (diff)
Fix stray reference to the old genbki.sh script.
Per Tomas Vondra.
Diffstat (limited to 'src')
-rw-r--r--src/include/catalog/pg_foreign_table.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/catalog/pg_foreign_table.h b/src/include/catalog/pg_foreign_table.h
index e7b925b7c94..34690f38087 100644
--- a/src/include/catalog/pg_foreign_table.h
+++ b/src/include/catalog/pg_foreign_table.h
@@ -9,7 +9,7 @@
* src/include/catalog/pg_foreign_table.h
*
* NOTES
- * the genbki.sh script reads this file and generates .bki
+ * the genbki.pl script reads this file and generates .bki
* information from the DATA() statements.
*
*-------------------------------------------------------------------------