footprint.sh: tune output again

This commit is contained in:
Manuel Pégourié-Gonnard 2015-11-25 10:50:27 +00:00
parent 4553a6cdcf
commit 3134ef0504

View file

@ -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