diff --git a/make.sh b/make.sh index 6f577c6df1..b04a8f7d32 100755 --- a/make.sh +++ b/make.sh @@ -456,6 +456,7 @@ function sub_commands() case ${CMD} in elf|nm) if [ "${CMD}" == "nm" ]; then + echo -e "\n${ELF}: file format elf\n" ${TOOLCHAIN_NM} -r --size ${ELF} | less else if [ "${CMD}" == "elf" -a "${ARG}" == "elf" ]; then