From 0c9eaaf7d6cb229437bac8d3b11c88e2b05268a8 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 18 Dec 2015 12:46:05 +0100 Subject: 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. --- runtime/arm/sysdeps.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'runtime/arm') 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 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 -- cgit