[m-rev.] for review: fix executable stripping on Mac OS X

[Julien Fischer]

On Mon, 5 May 2014, Ian MacLarty wrote:

> On Mon, May 5, 2014 at 3:47 AM, Julien Fischer <jfischer at opturion.com> wrote:
>>
>> Branches: master, 14.01
>>
>> I'll re-enable executable stripping on Mac OS X after this change has
>> bootstrapped.
>>
>> ========================
>>
>> Fix executable stripping on Mac OS X.
>>
> ...
>> diff --git a/compiler/options.m b/compiler/options.m
>> index 53d3ce3..abe55dc 100644
>> --- a/compiler/options.m
>> +++ b/compiler/options.m
>> @@ -5684,9 +5690,17 @@ options_help_link -->
>>          "\tSpecify the command used to invoke the linker when linking",
>>          "\ta shared library.",
>>
>> +        "--no-strip",
>> +        "\tDo not strip executables.",
>>          "--strip-executable-command <command>",
>>          "\tSpecify the command used to strip executables if no linker",
>>          "\tflag to do so is available. This option has no effect on ml.",
>> +        "--strip-executable-shared-flags <options>",
>> +        "\tSpecify options to pass to the strip executable command when",
>> +        "\tlinking against Mercury shared libraries.",
>> +        "--strip-executable-static-flags <options>",
>> +        "\tSpecify options to pass to strip executable command when",
>> +        "\tlinking against Mercury static libraries.",
>>
>
> Missing "the" here.
>
> Looks fine otherwise.

Fixed -- thanks for that.

Cheers,
Julien.