Re: [bug #41246] Allow to switch shell batch mode at runtimeinstead of build time

[Eli Zaretskii]

> From: "Gisle Vanem" <address@hidden>
> Date: Sun, 2 Mar 2014 17:28:41 +0100
> 
> If it's the value of 'batch_mode_shell' we speak of, it can easily be
> changed by the new "load" feature. This diff:
> 
> --- Git-Latest/makeint.h     2014-02-09 15:03:22 +0000
> +++ makeint.h   2014-03-02 17:10:53 +0000
> @@ -593,7 +593,7 @@
>  extern int rebuilding_makefiles, one_shell, output_sync, verify_flag;
> 
>  /* can we run commands via 'sh -c xxx' or must we use batch files? */
> -extern int batch_mode_shell;
> +extern GMK_EXPORT int batch_mode_shell;
> 
> ---
> 
> and a small mk_test.dll shows it's possible to force this to 1 irrespective of
> 'BATCH_MODE_ONLY_SHELL' is defined on build time or not. 
> 
> With a .def-file there would be no need to patch anything. The OP could
> export other stuff and extend gnumake to his liking.

Assuming this works (I didn't test), and assuming Mike is OK with
that, so am I.

Thanks.