diff options
Diffstat (limited to 'find')
-rwxr-xr-x | find | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -8,7 +8,7 @@ function find_single() { name=$1 address=$2 addr_last12=`echo -n "$address" | tail -c 3` - grep -i -e "^$name .*$addr_last12$" db/*.symbols \ + grep -r --include=\*.symbols -i -e "^$name .*$addr_last12$" db/ \ | perl -n -e '/db\/(.*)\.symbols/ && print "$1\n"' \ | sort } @@ -27,5 +27,5 @@ function find() { } for id in `find "$@"`; do - echo "`cat db/${id}.info` (id $id)" + echo "db/${id}.so" done |