aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-12-18 12:46:05 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2015-12-18 12:46:05 +0100
commit0c9eaaf7d6cb229437bac8d3b11c88e2b05268a8 (patch)
tree152eac9e3105f8289d4fab70af958c332abbbbd8
parent5a2b261e9efdfb0d9fbc51cec8c1f5405679f2a0 (diff)
downloadcompcert-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.h4
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