diff --git a/scripts/footprint.sh b/scripts/footprint.sh index 48cedd85e..87d62dfc4 100755 --- a/scripts/footprint.sh +++ b/scripts/footprint.sh @@ -65,14 +65,14 @@ doit() echo "(generated by $0)" > "$OUTFILE" echo "" >> "$OUTFILE" -log "Footprint of default configurations (minus net.c, timing.c, fs_io)" +log "Footprint of standard configurations (minus net.c, timing.c, fs_io)" log "for bare-metal ARM Cortex-M3/M4 microcontrollers." VERSION_H="include/mbedtls/version.h" MBEDTLS_VERSION=$( sed -n 's/.*VERSION_STRING *"\(.*\)"/\1/p' $VERSION_H ) if git rev-parse HEAD >/dev/null; then GIT_HEAD=$( git rev-parse HEAD | head -c 10 ) - GIT_VERSION=" ($GIT_HEAD)" + GIT_VERSION=" (git head: $GIT_HEAD)" else GIT_VERSION="" fi