diff options
Diffstat (limited to 'Tools/make_index')
| -rw-r--r-- | Tools/make_index | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Tools/make_index b/Tools/make_index index aa465b820e8a..9a5cedc3ccd6 100644 --- a/Tools/make_index +++ b/Tools/make_index @@ -1,6 +1,6 @@ #!/usr/bin/perl # -# $Id$ +# $Id: make_index,v 1.1 1998/12/12 07:41:49 asami Exp $ # # Written to speed-up INDEX file generation. The new scheme # basically visits each port once and writes out each port's @@ -9,6 +9,8 @@ # fixes up the build-depends and run-depends list, and writes # out the new INDEX file. +require 5.002; + # Helper function to map a directory to a pkgname. sub by_path { my $name = shift; |