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

[Julien Fischer]

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.

Cheers,
Julien.