diff options
| author | Tom Lane | 2016-08-28 21:44:29 +0000 |
|---|---|---|
| committer | Tom Lane | 2016-08-28 21:44:29 +0000 |
| commit | b899ccbb49cbcf8431b3af43fcf3faf91e6a28c6 (patch) | |
| tree | a19335910dd0656bf2c11ce342394c67864c1dff | |
| parent | 39d866433e6fb1c385eee8dc67843097b8703add (diff) | |
Fix stray reference to the old genbki.sh script.
Per Tomas Vondra.
| -rw-r--r-- | src/include/catalog/pg_foreign_table.h | 2 |
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. * *------------------------------------------------------------------------- |