[m-rev.] for review: add new configuration option for disabling shared libraries

[Peter Wang]

On Mon, 20 Jan 2020 22:16:45 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> 
> For review by anyone.
> 
> ---------------------
> 
> Add new configuration option for disabling shared libraries.
> 
> configure.ac:
>     Add the option --disable-shared-libs, which turns off shared libraries
>     even on systems that support them.
> 
>     Make the workaround for bug #453 look at the value of the new option,
>     rather than that of --disable-dynamic-link.
> 

That looks fine.

Peter