make/scripts/compare_exceptions.sh.incl
changeset 49291 ae041d4dd43e
parent 48912 01237b276b8b
child 50002 4fad1003357f
--- a/make/scripts/compare_exceptions.sh.incl	Fri Mar 23 14:18:18 2018 +0000
+++ b/make/scripts/compare_exceptions.sh.incl	Fri Mar 23 16:50:02 2018 +0100
@@ -339,7 +339,7 @@
 
   DIS_DIFF_FILTER="$SED \
       -e 's/^[0-9a-f]\{16\}/<ADDR>:/' \
-      -e 's/^ *[0-9a-f]\{3,8\}:/  <ADDR>:/' \
+      -e 's/^ *[0-9a-f]\{3,12\}:/  <ADDR>:/' \
       -e 's/:	[0-9a-f][0-9a-f]\( [0-9a-f][0-9a-f]\)\{2,10\}/:	<NUMS>/' \
       -e 's/\$[a-zA-Z0-9_\$]\{15\}\./<SYM>./' \
       -e 's/, [0-9a-fx\-]\{1,8\}/, <ADDR>/g' \