From 0bd284dc51a7251dfabd6537f15fc8f6d2abd59d Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Mon, 5 Aug 2019 11:34:25 +0200 Subject: [PATCH] Add a build on ARMv5TE in ARM mode Non-regression test for "bn_mul.h: require at least ARMv6 to enable the ARM DSP code" --- tests/scripts/all.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 0a7439790..233a51e8f 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh @@ -1080,6 +1080,12 @@ component_build_arm_none_eabi_gcc () { make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -Wall -Wextra' lib } +component_build_arm_none_eabi_gcc_armel () { + msg "build: arm-none-eabi-gcc, make" # ~ 10s + scripts/config.pl baremetal + make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar CFLAGS='-Werror -Wall -Wextra -march=armv5te' LDFLAGS='-march=armv5te' SHELL='sh -x' lib +} + component_build_arm_none_eabi_gcc_no_udbl_division () { msg "build: arm-none-eabi-gcc -DMBEDTLS_NO_UDBL_DIVISION, make" # ~ 10s scripts/config.pl baremetal