Eli Zaretskii wrote:
> I'm not sure I follow: are you suggesting to write a function named
> w32_adjust_shell_and_set_mode_flags

Yes, a function that operates on the expanded string of SHELL
when it's about to be used. 

> that would search for SHELL along
> PATH, like find_and_set_default_shell does now?

What exactly it does we can fill in when we have it. If it only
sets unixy_mode or batch_mode, it should already work for 99%.

> That'd be a terrible
> cycle killer, because this function would be called on each command
> invocation.

But no. Compared to what it takes the OS to spawn (and run!) a process, 
one path search more or less wont make even the slightest difference.

--- grischka



_______________________________________________
Make-w32 mailing list
Make-w32@gnu.org
http://lists.gnu.org/mailman/listinfo/make-w32

Reply via email to