Kyle Lippincott <spectral@xxxxxxxxxx> writes: > On Thu, Dec 19, 2024 at 7:55 AM Patrick Steinhardt <ps@xxxxxx> wrote: >> >> Same as with the preceding commit, neither GIT_BUILT_FROM_COMMIT nor >> GIT_DATE can be overridden via the environment. Especially the latter is >> of importance given that we set it in our own "Documentation/doc-diff" >> script. >> >> Make the values of both variables overridable. >> >> Signed-off-by: Patrick Steinhardt <ps@xxxxxx> >> --- >> GIT-VERSION-GEN | 14 +++++++++++--- >> 1 file changed, 11 insertions(+), 3 deletions(-) > > Looks good, thanks for fixing this and for all the work done on the > cleanups for the build system changes. Thanks, all.
