lib/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-07-29 11:41:15 +03:00
Code Activity

Merge remote-tracking branch 'upstream-public/pr/1486' into development-proposed

Browse Source
This commit is contained in:
Jaeden Amero
2018-05-04 11:03:16 +01:00
parent 070e356476 38d8165865
commit 09c4e7ef5a
2 changed files with 39 additions and 82 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
scripts/output_env.sh
View File

@ -47,13 +47,15 @@ print_version()
print_version "uname" "-a" ""
echo
: ${ARMC5_CC:=armcc}
print_version "$ARMC5_CC" "--vsn" "armcc not found!" "head -n 2"
echo
if [ "${RUN_ARMCC:-1}" -ne 0 ]; then
: "${ARMC5_CC:=armcc}"
print_version "$ARMC5_CC" "--vsn" "armcc not found!" "head -n 2"
echo
: ${ARMC6_CC:=armclang}
print_version "$ARMC6_CC" "--vsn" "armclang not found!" "head -n 2"
echo
: "${ARMC6_CC:=armclang}"
print_version "$ARMC6_CC" "--vsn" "armclang not found!" "head -n 2"
echo
fi
print_version "arm-none-eabi-gcc" "--version" "gcc-arm not found!" "head -n 1"
echo