diff options
| -rwxr-xr-x | tools/install-xml-file-list | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/install-xml-file-list b/tools/install-xml-file-list index 56b7a0a4f..42a567ef5 100755 --- a/tools/install-xml-file-list +++ b/tools/install-xml-file-list @@ -353,6 +353,7 @@ sub apply_filter { @l = grep { ! -d $_ } @l or next; if (my $subst = $filter->{subst}) { + warn "running substition $subst \n" if $verbose; system('perl', '-pi', '-e', $subst, @l); } if (my $command = $filter->{command}) { |