[riot-notifications] [RIOT-OS/RIOT] makefiles: Introduce GIT_VERSION and use it for RIOT_VERSION (#11881)
notifications at github.com
Mon Jul 29 09:45:22 CEST 2019
> When I noticed the branch name was in the version, it felt for me a bit off somehow. It is a source on non reproducibility and local machine information.
Personally when I clone a PR, I have my own naming scheme, so when building would have a different binary than the one on the developer machine, even when building in docker.
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications