>> Are there any other patches that should be included?
>
> When was the previous build made? If you tell me the date, I can look
> for bugs fixed since then, and send the patches to you.
The last patch included in the previous binary was:
2008-03-03 Eli Zaretskii <e...@gnu.org>
* variable.c (do_variable_definition) [WINDOWS32]: If
find_and_set_default_shell fails to find the new value of SHELL
verbatim, run it thru allocated_variable_expand and try again.
Chris
--
Chris Sutcliffe
http://emergedesktop.org
_______________________________________________
Make-w32 mailing list
Make-w32@gnu.org
http://lists.gnu.org/mailman/listinfo/make-w32
