tree 2fcbdb3289c316abba9a7d33cd5f630f38a4c3d9
parent 934d754a53acff144273bd7fc42f4272628bb944
author David Srbecky <dsrbecky@google.com> 1428138917 +0100
committer David Srbecky <dsrbecky@google.com> 1428138917 +0100

Proper fix for issue 20051601 - arm actually means thumb2.

Change-Id: I38e81868cbebdccec6ecbba40494612f7c1d8092