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 | |
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.
-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 |