diff options
Diffstat (limited to 'scripts/recordmcount.pl')
-rwxr-xr-x | scripts/recordmcount.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/recordmcount.pl b/scripts/recordmcount.pl index 0b1dc9f9bb06..fe831412bea9 100755 --- a/scripts/recordmcount.pl +++ b/scripts/recordmcount.pl | |||
@@ -114,6 +114,7 @@ my %text_sections = ( | |||
114 | ".text" => 1, | 114 | ".text" => 1, |
115 | ".sched.text" => 1, | 115 | ".sched.text" => 1, |
116 | ".spinlock.text" => 1, | 116 | ".spinlock.text" => 1, |
117 | ".irqentry.text" => 1, | ||
117 | ); | 118 | ); |
118 | 119 | ||
119 | $objdump = "objdump" if ((length $objdump) == 0); | 120 | $objdump = "objdump" if ((length $objdump) == 0); |