[m-rev.] for review: Defer SHARED_LIBS assignment in ml script.

[Julien Fischer]

On Thu, 14 Dec 2023, Peter Wang wrote:

> scripts/ml.in:
>    Assign SHARED_LIBS only when it will actually be used,
>    as the default value of SHARED_LIBS set by configure
>    may invoke "gcc -print-libgcc-file-name" in a command substitution.

That's fine. Presuambly, this is just for performance reasons?

Julien.