diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/install-xml-file-list | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/install-xml-file-list b/tools/install-xml-file-list index f5b809a9d..56b7a0a4f 100755 --- a/tools/install-xml-file-list +++ b/tools/install-xml-file-list @@ -234,7 +234,7 @@ sub install { @l = grep { eval $re } @l; } - collect_needed_libraries(grep { -x $_ } @l); + collect_needed_libraries(grep { -f $_ && -x $_ } @l); chdir $initial_dir; @l; |