footprint.sh: tune output again
diff --git a/scripts/footprint.sh b/scripts/footprint.sh
index 48cedd8..87d62df 100755
--- a/scripts/footprint.sh
+++ b/scripts/footprint.sh
@@ -65,14 +65,14 @@
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