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