diff options
| -rw-r--r-- | scripts/markup_oops.pl | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/scripts/markup_oops.pl b/scripts/markup_oops.pl index ce3e40b01e48..e950f9cde019 100644 --- a/scripts/markup_oops.pl +++ b/scripts/markup_oops.pl | |||
| @@ -158,7 +158,7 @@ while (<STDIN>) { | |||
| 158 | $function = $1; | 158 | $function = $1; | 
| 159 | $func_offset = $2; | 159 | $func_offset = $2; | 
| 160 | } | 160 | } | 
| 161 | if ($line =~ /RIP: 0010:\[\<[0-9a-f]+\>\] \[\<[0-9a-f]+\>\] ([a-zA-Z0-9\_]+)\+(0x[0-9a-f]+)\/0x[a-f0-9]/) { | 161 | if ($line =~ /RIP: 0010:\[\<[0-9a-f]+\>\] \[\<[0-9a-f]+\>\] ([a-zA-Z0-9\_]+)\+0x([0-9a-f]+)\/0x[a-f0-9]/) { | 
| 162 | $function = $1; | 162 | $function = $1; | 
| 163 | $func_offset = $2; | 163 | $func_offset = $2; | 
| 164 | } | 164 | } | 
