1
0
mirror of https://github.com/postgres/postgres.git synced 2025-09-09 13:09:39 +03:00

Oops, forgot to remove the old genbki script.

This commit is contained in:
Magnus Hagander
2007-03-17 13:54:34 +00:00
parent 08bb618561
commit 4554ee362c
2 changed files with 1 additions and 257 deletions

View File

@@ -11,7 +11,7 @@
#
#
# IDENTIFICATION
# $PostgreSQL: pgsql/src/tools/msvc/Genbki.pm,v 1.1 2007/03/17 13:50:42 mha Exp $
# $PostgreSQL: pgsql/src/tools/msvc/Genbki.pm,v 1.2 2007/03/17 13:54:34 mha Exp $
#
#-------------------------------------------------------------------------
@@ -240,12 +240,6 @@ sub genbki
close(O);
}
sub Usage
{
print "Usage: genbki.pl <version> <prefix> <input1> [<input2> <input3>...]\n";
exit(1);
}
sub read_file
{
my $filename = shift;