diff options
Diffstat (limited to 'remote/setup_tools')
| -rwxr-xr-x | remote/setup_tools | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/remote/setup_tools b/remote/setup_tools index ebfb1995..eeb13150 100755 --- a/remote/setup_tools +++ b/remote/setup_tools @@ -99,7 +99,7 @@ copyfileswithdependencies () for ENTRY in ${REQUIRED_DIRECTORIES} do echo ".${ENTRY}" >> ${COPYFILES_LIST} - for LIB in $(find .${ENTRY} -type f | xargs grep -l ELF) + for LIB in $(find .${ENTRY} -type f -not -name "*.a" | xargs grep -l ELF) do for i in $(ldd ${LIB} |awk '{print $1 $2 $3}'|grep -v ld-linux|grep -v libc.so*|grep -v linux-gate) do @@ -116,7 +116,7 @@ copyfileswithdependencies () done else echo "Did not found ${arrIN[0]} in $(pwd)" - if [ -e ${arrIN[1]} ]; + if [ ! -z ${arrIN[1]} ]; then echo -n "Trying ${arrIN[1]} ..." echo " found! Copying." |