mirror of
https://github.com/apache/nuttx.git
synced 2026-05-11 16:01:03 +08:00
85edf0f49d
The idea is to have something like EXTRAVERSION. This is useful for getting RC tags, development tags and for customizing the version. For example using the tag `nuttx-10.0.0-RC0` the VERSION will be `10.0.0-RC0` Signed-off-by: Matheus Castello <matheus@castello.eng.br>