diff options
| -rwxr-xr-x | remote/setup_target | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/remote/setup_target b/remote/setup_target index 02400cd1..6b9a7a6c 100755 --- a/remote/setup_target +++ b/remote/setup_target @@ -153,7 +153,7 @@ copy_files_with_deps () { else OPTIONAL="no" fi - local FILE_CANDIDATES=$( find . -name "${FILENAME}" -a -executable -a \( -type f -o -type l \) ) + local FILE_CANDIDATES=$( find . -name "${FILENAME}" -a \( -type f -o -type l \) ) local FINAL_LIST="" # Check result of find if [ "$(echo "$FILE_CANDIDATES" | wc -l)" -gt 1 ]; then |