File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -2730,26 +2730,35 @@ sub local_unescape($) {
27302730 return $text ;
27312731}
27322732
2733- sub process_file ($) {
2733+ sub map_filename ($) {
27342734 my $file ;
2735- my $identifier ;
2736- my $func ;
2737- my $descr ;
2738- my $in_purpose = 0;
2739- my $initial_section_counter = $section_counter ;
27402735 my ($orig_file ) = @_ ;
2741- my $leading_space ;
27422736
27432737 if (defined ($ENV {' SRCTREE' })) {
27442738 $file = " $ENV {'SRCTREE'}" . " /" . $orig_file ;
2745- }
2746- else {
2739+ } else {
27472740 $file = $orig_file ;
27482741 }
2742+
27492743 if (defined ($source_map {$file })) {
27502744 $file = $source_map {$file };
27512745 }
27522746
2747+ return $file ;
2748+ }
2749+
2750+ sub process_file ($) {
2751+ my $file ;
2752+ my $identifier ;
2753+ my $func ;
2754+ my $descr ;
2755+ my $in_purpose = 0;
2756+ my $initial_section_counter = $section_counter ;
2757+ my ($orig_file ) = @_ ;
2758+ my $leading_space ;
2759+
2760+ $file = map_filename($orig_file );
2761+
27532762 if (!open (IN," <$file " )) {
27542763 print STDERR " Error: Cannot open file $file \n " ;
27552764 ++$errors ;
You can’t perform that action at this time.
0 commit comments