[m-rev.] for review: support 'mercury' as a synonym for 'mmc' on all platforms

[Peter Wang]

On Sat, 13 Jun 2020 16:51:16 +1000 Julien Fischer <jfischer at opturion.com> wrote:
> 
> For review by anyone.
> 
> Branches: master, 20.06
> 
> 
> Support 'mercury' as a synonym for 'mmc' on all platforms.

> diff --git a/configure.ac b/configure.ac
> index 63bb026..32c5918 100644
> --- a/configure.ac
> +++ b/configure.ac
> @@ -5702,6 +5702,7 @@ export had_old_conf_h
>   executable_output_files='
>   scripts/mmc
>   scripts/mercury.bat
> +scripts/mercury

Move that up one line.

>   scripts/mprof
>   scripts/mprof.bat
>   scripts/mercury_update_interface


> diff --git a/scripts/mercury.in b/scripts/mercury.in
> index e69de29..dd49c0f 100644
> --- a/scripts/mercury.in
> +++ b/scripts/mercury.in
> @@ -0,0 +1,33 @@
> +#! /bin/sh
> +# @configure_input@
> +#---------------------------------------------------------------------------#
> +# Copyright (C) 1994-1998, 2000-2005 The University of Melbourne.

Not sure if the copyright line should be replaced.

The rest looks fine.

Peter