aboutsummaryrefslogtreecommitdiff
path: root/dump
diff options
context:
space:
mode:
Diffstat (limited to 'dump')
-rwxr-xr-xdump11
1 files changed, 8 insertions, 3 deletions
diff --git a/dump b/dump
index b45dd7e..d76eb53 100755
--- a/dump
+++ b/dump
@@ -10,7 +10,12 @@ if [[ $# == 0 ]]; then
else
names="$@"
fi
-for name in $names; do
- offset=`cat db/${id}.symbols | grep "^$name " | cut -d' ' -f2`
- echo "offset_${name} = 0x${offset}"
+for info in db/*; do
+ if [[ -d $info ]] && [[ -e $info/$id.symbols ]]; then
+ echo "${info}/${id}.symbols:"
+ for name in $names; do
+ offset=`cat ${info}/${id}.symbols | grep "^$name " | cut -d' ' -f2`
+ echo "offset_${name} = 0x${offset}"
+ done
+ fi
done