diff options
Diffstat (limited to 'scripts/recordmcount.pl')
-rwxr-xr-x | scripts/recordmcount.pl | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/recordmcount.pl b/scripts/recordmcount.pl index 545fe7154ced..f3c9c0a90b98 100755 --- a/scripts/recordmcount.pl +++ b/scripts/recordmcount.pl | |||
@@ -195,8 +195,12 @@ sub check_objcopy | |||
195 | } | 195 | } |
196 | } | 196 | } |
197 | 197 | ||
198 | if ($arch eq 'x86') { | 198 | if ($arch =~ /(x86(_64)?)|(i386)/) { |
199 | $arch = ($bits == 64) ? 'x86_64' : 'i386'; | 199 | if ($bits == 64) { |
200 | $arch = "x86_64"; | ||
201 | } else { | ||
202 | $arch = "i386"; | ||
203 | } | ||
200 | } | 204 | } |
201 | 205 | ||
202 | # | 206 | # |