diff options
Diffstat (limited to 'remote/setup_tools')
| -rwxr-xr-x | remote/setup_tools | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/remote/setup_tools b/remote/setup_tools index 95e3e0a9..f04f082c 100755 --- a/remote/setup_tools +++ b/remote/setup_tools @@ -49,10 +49,12 @@ copyfileswithdependencies () for FILENAME in ${REQUIRED_BINARIES} do - for f in $(find . -name ${FILENAME} -type f -executable) - do - [ $(file $f |grep -c ELF) -eq 1 ] && FILE=$f - done + FILE=$(find . -name ${FILENAME} -type f -executable | xargs grep -l ELF) + if [ -z "$FILE" ]; then + echo "No Binary found for ${FILENAME}. Skipping." + echo "-----------------------------------------------------------------" + continue + fi echo "Found ${FILENAME} at ${FILE}. Searching libraries..." echo ${FILE} >> ${COPYFILES_LIST} # fetch dependencies |