summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/install-xml-file-list1
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}) {