diff options
Diffstat (limited to 'master/process_map_tool.patch')
| -rw-r--r-- | master/process_map_tool.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/master/process_map_tool.patch b/master/process_map_tool.patch new file mode 100644 index 0000000..08a0753 --- /dev/null +++ b/master/process_map_tool.patch @@ -0,0 +1,13 @@ +diff --git a/process_map b/process_map +new file mode 100755 +index 0000000..847a437 +--- /dev/null ++++ b/process_map +@@ -0,0 +1,7 @@ ++#!/bin/sh ++sed -i \ ++ -e '1,/^Symbols in Segment/d' \ ++ -e '/^Symbols in Segment/d' \ ++ -e '/^$/d' \ ++ -e 's/^\(.[^ ]*\).[ ]*.[^ ]*.[ ]*\(.[^ ]*\).*$/ \2 \1/' \ ++ "$@" |