[m-rev.] for review: record the git revision the Mercury compiler was compiled with
jfischer at opturion.com
Fri Apr 17 13:51:19 AEST 2015
On Fri, 17 Apr 2015, Sebastian Godelet wrote:
> On 17/04/2015 09:44, Julien Fischer wrote:
>> Hi Sebastian,
>> On Sat, 4 Apr 2015, Sebastian Godelet wrote:
>>> I think this functionality would be nice to have as I've seen it
>>> already in some other tools which are configured and build from git
>> Is it all that useful? For my current workspace (on the master branch),
>> 'git describe --tags' gives:
> I think it is useful sometimes, for example several month ago there was a
> rather involved rebuilding step required (something like 3 steps), and
> I'd to remember if I already build after a certain date (with the correct
> commit compiled in).
> Maybe my work-flow is a little bit different since I'm working only on a fork
> with specific branches for not yet submitted/unmerged patches, but sometimes
> it is helpful to check which exact revision the compiler is build with,
> especially after not having recompiled for some time.
> Having a git commit number helps when looking into the git graph log.
That's fair enough; I have no particular objection to this change
provided there are people who will find it useful.
More information about the reviews