Am Montag, 10. April 2006 02:52 schrieb Enrico Forestieri:
> Index: src/support/os_win32.C
> ===================================================================
> --- src/support/os_win32.C (revision 13615)
> +++ src/support/os_win32.C (working copy)
> @@ -146,6 +158,14 @@ void init(int /* argc */, char * argv[])
> if (hwndFound != NULL)
> ShowWindow( hwndFound, SW_HIDE);
> }
> +
> + // If cygwin is detected, query the cygdrive prefix
> + cmd_ret const c = RunCommand("sh -c uname");
> + if (c.first != -1 && prefixIs(c.second, "CYGWIN")) {
> + cmd_ret const p = RunCommand("mount
--show-cygdrive-prefix");
> + if (p.first != -1 && prefixIs(p.second, "Prefix"))
> + (void) split(split(p.second, '\n'), cygdrive, '
');
This is ugly. Please find a solution without the (void). Why do you need
the second split?
The rest looks good, and if you give me a log message and fix the above I
will put it in.
Georg
