Add missing protection on __aeabi_uldiv check under --keep-going
Partial backport of 2adb375c50e2db5f44dd1ce8b7cb4b33b035563a
"Add option to avoid 64-bit multiplication"
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index 1ae6a3d..50b3750 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -459,6 +459,13 @@
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 @@
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 () {