Rename VERSION => STABLE_VERSION for the unification at the changed tool#1824
Rename VERSION => STABLE_VERSION for the unification at the changed tool#1824wilzbach wants to merge 1 commit intodlang:masterfrom
Conversation
|
Thanks for your pull request, @wilzbach! Bugzilla referencesYour PR doesn't reference any Bugzilla issue. If your PR contains non-trivial changes, please reference a Bugzilla issue or create a manual changelog. |
|
As mentioned before, if |
| Log</option> | ||
|
|
||
| VERSION= | ||
| STABLE_VERSION= |
There was a problem hiding this comment.
To be fair: it wouldn't be too hard to continue to generate VERSION at the changed.d script, but imho this helps clarifying things.
There was a problem hiding this comment.
Not sure I have the same understanding of STABLE_VERSION as you, so far we used that term to pin tools/compilers, but not for anything in our docs/targets.
|
Let's wait a sec and properly think this through before churning more code. |
3 participants
Small-scale version of #1821, s.t. we can move step by step.