diff options
| author | lloyd <[email protected]> | 2006-09-08 02:27:26 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2006-09-08 02:27:26 +0000 |
| commit | 770c39fbe0613132e58906dc709190d5e0ec037d (patch) | |
| tree | a646c2a5a2b940b1bcf14e6f78ee80708225bdf6 | |
| parent | 1781c563cc0f548e27749833cdb8104db9a9f63c (diff) | |
Remove print_header(), no longer used
| -rwxr-xr-x | configure.pl | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/configure.pl b/configure.pl index d08d44544..64770eedb 100755 --- a/configure.pl +++ b/configure.pl @@ -1477,13 +1477,6 @@ sub generate_makefile { close MAKEFILE; } -sub print_header { - my ($fh, $string) = @_; - print $fh '#' x 50, "\n", - "# $string", ' 'x(47-length($string)), "#\n", - '#' x 50, "\n"; -} - ################################################## # Print a Unix style makefile # ################################################## |