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

[Peter Wang]

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.

Peter