[m-rev.] diff: fix bug with --detect-libgrades and --make

[Julien Fischer]

On Tue, 17 Sep 2013, Peter Wang wrote:

> On Fri, 6 Sep 2013 18:47:08 +1000 (EST), Julien Fischer <jfischer at opturion.com> wrote:
>> @@ -2047,6 +2056,9 @@ detect_libgrades(Globals, MaybeConfigMerStdLibDir, GradeOpts, !IO) :-
>>       globals.lookup_bool_option(Globals, detect_libgrades, Detect),
>>       (
>>           Detect = yes,
>> +        globals.lookup_bool_option(Globals, verbose, Verbose),
>> +        maybe_write_string(Verbose, "% Detecting library grades ...\n", !IO),
>> +        globals.lookup_bool_option(Globals, very_verbose, VeryVerbose),
>>           % NOTE: a standard library directory specified on the command line
>>           % overrides one set using the MERCURY_STDLIB_DIR variable.
>>           ( if
>
> mmc -v:
>
>    % Detecting library grades ...
>    % done.
>    Mercury Compiler, version rotd-2013-09-10, configured for i686-pc-linux-gnu
>    Copyright (C) 1993-2013 The University of Melbourne
>    Usage: mmc [<options>] <arguments>
>    Use `mmc --help' for more information.
>
> mmc -V:
>
>    % Detecting library grades ...
>    % Detected library grade: hlc.gc
>    % Detected library grade: asm_fast.gc
>    % Detected library grade: hlc.gc.pregen
>    % done.
>    Mercury Compiler, version rotd-2013-09-10, configured for i686-pc-linux-gnu
>    Copyright (C) 1993-2013 The University of Melbourne
>    Usage: mmc [<options>] <arguments>
>    Use `mmc --help' for more information.

Fixed.  On an unrelated note: why is hlc.gc.pregen installed there?  I
though the intention was that it should not be installed.

Cheers,
Julien.