From 30bc3851240e4a711875dc2cd107345e271878e9 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Wed, 9 Jan 2019 23:25:25 +0100 Subject: [PATCH] Add missing protection on __aeabi_uldiv check under --keep-going Partial backport of 2adb375c50e2db5f44dd1ce8b7cb4b33b035563a "Add option to avoid 64-bit multiplication" --- tests/scripts/all.sh | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 1ae6a3d8f..50b3750c5 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh @@ -459,6 +459,13 @@ if_build_succeeded () { fi } +# to be used instead of ! for commands run with +# record_status or if_build_succeeded +not() { + ! "$@" +} + + pre_print_configuration () { msg "info: $0 configuration" echo "MEMORY: $MEMORY" @@ -920,7 +927,7 @@ component_build_arm_none_eabi_gcc_no_udbl_division () { scripts/config.pl set MBEDTLS_NO_UDBL_DIVISION make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -Wall -Wextra' lib echo "Checking that software 64-bit division is not required" - ! grep __aeabi_uldiv library/*.o + if_build_succeeded not grep __aeabi_uldiv library/*.o } component_build_armcc () {