Daniël van de Giessen 9e89c752cb py/makeversionhdr.py: Always abbreviate Git hashes to same length. ...

The Git hash is embedded in the version number.  The hash is abbreviated by
Git.  This commit changes the length of the Git hash abbreviation to a
fixed number, so that the length of the version string no longer varies
based on external factors (it can still vary, but will now be at least 10
characters).

This change is made because builds of the same MicroPython commit on
multiple machines were sometimes giving a version string with different
lengths, eg due to commits on other local branches having a clashing
abbreviated hash.  This change may also help the code size report to be
more consistent, because it will less often be impacted by random changes
in the version string length, at the cost of always being a few bytes
longer.

Signed-off-by: Daniël van de Giessen <daniel@dvdgiessen.nl>

2025-09-10 17:00:37 +10:00

5.8 KiB

Raw Blame History

View Raw