diff options
author | Jo-Philipp Wich <jo@mein.io> | 2016-12-05 16:44:13 +0100 |
---|---|---|
committer | Jo-Philipp Wich <jo@mein.io> | 2016-12-09 17:16:43 +0100 |
commit | 9791fb2ac25fca2fb64a2d1ccbb5e7721a9165ec (patch) | |
tree | e52d46f77ab04cf252a6a6cc1d1eba733a6355df /tools | |
parent | ee5a6c10410b25adc6d400780953388035135fed (diff) | |
download | upstream-9791fb2ac25fca2fb64a2d1ccbb5e7721a9165ec.tar.gz upstream-9791fb2ac25fca2fb64a2d1ccbb5e7721a9165ec.tar.bz2 upstream-9791fb2ac25fca2fb64a2d1ccbb5e7721a9165ec.zip |
build: support adding version code to file names (FS#323)
Now that the VERSION_NUMBER variable holds the human friendly name and not
the commit ID anymore, we need to support adding the revision ID as well.
Introduce a new config variable CONFIG_VERSION_CODE_FILENAMES which, if set,
causes the resulting file names to contain a commit ID designation as printed
by scripts/getver.sh.
Also sanitize the input variables to ensure that the resulting strings are
lowercased and no not contain spaces.
Signed-off-by: Jo-Philipp Wich <jo@mein.io>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions