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 /runtime/arm | |
| parent | 5a2b261e9efdfb0d9fbc51cec8c1f5405679f2a0 (diff) | |
| download | compcert-kvx-0c9eaaf7d6cb229437bac8d3b11c88e2b05268a8.tar.gz compcert-kvx-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 'runtime/arm')
| -rw-r--r-- | runtime/arm/sysdeps.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/arm/sysdeps.h b/runtime/arm/sysdeps.h index 85404cf7..3d6a702c 100644 --- a/runtime/arm/sysdeps.h +++ b/runtime/arm/sysdeps.h @@ -17,7 +17,7 @@ // * Neither the name of the <organization> nor the // names of its contributors may be used to endorse or promote products // derived from this software without specific prior written permission. -// +// // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR @@ -34,7 +34,7 @@ // System dependencies -#if defined(MODEL_armv7r) +#if defined(MODEL_armv7m) // Thumb2-only #define THUMB #else |