diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-18 12:46:05 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-18 12:46:05 +0100 |
| commit | 0c9eaaf7d6cb229437bac8d3b11c88e2b05268a8 (patch) | |
| tree | 152eac9e3105f8289d4fab70af958c332abbbbd8 /LICENSE | |
| parent | 5a2b261e9efdfb0d9fbc51cec8c1f5405679f2a0 (diff) | |
| download | compcert-0c9eaaf7d6cb229437bac8d3b11c88e2b05268a8.tar.gz compcert-0c9eaaf7d6cb229437bac8d3b11c88e2b05268a8.zip | |
Libcompcert should be compiled in thumb mode for armv7m.
Libcompcert was defined in thumb mode for armv7r but it should be
compild in thumb mode for armv7m.
Bug 17808.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions