[m-rev.] for review: record the git revision the Mercury compiler was compiled with

Julien Fischer 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:
>>> Hi,
>>> 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
>>> repositories.
>> 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 mailing list