mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-03-30 09:01:08 +02:00
Currently it can't be mandatory, since we can't install the required toolchain on Jenkins right away. Also, while at it, remove `SHELL='sh -x'` from the other arm5vte component; it was a leftover from debugging. Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>