aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--acid/port12
1 files changed, 8 insertions, 4 deletions
diff --git a/acid/port b/acid/port
index c6bf9056..c8e195fc 100644
--- a/acid/port
+++ b/acid/port
@@ -603,13 +603,17 @@ defn mem(addr, fmt)
defn symbols(pattern)
{
- local l, s;
-
+ local l, s, name;
+
l = symbols;
while l do {
s = head l;
- if regexp(pattern, s[0]) then
- print(s[0], "\t", s[1], "\t", s[2], "\t", s[3], "\n");
+ if regexp(pattern, s[0]) then {
+ name = s[4];
+ if name == {} then
+ name = "";
+ print(s[0], "\t", s[1], "\t", s[2], "\t", s[3], "\t", name, "\n");
+ }
l = tail l;
}
}