OK. Here is the suggested patch that removes the last (?) call to
shell. Any objection?

Index: src/support/os_win32.C
===================================================================
--- src/support/os_win32.C      (revision 14265)
+++ src/support/os_win32.C      (working copy)
@@ -163,8 +163,8 @@
        }

        // 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 c = runCommand("python -c 'import sys;print 
sys.platform'");
+       if (c.first != -1 && prefixIs(c.second, "cygwin")) {
                cmd_ret const p = runCommand("mount --show-cygdrive-prefix");
                // The output of the mount command is as follows:
                // Prefix              Type         Flags

Enrico, you have tested this solution, right?
Bo
Index: src/support/os_win32.C
===================================================================
--- src/support/os_win32.C	(revision 14265)
+++ src/support/os_win32.C	(working copy)
@@ -163,8 +163,8 @@
 	}
 
 	// 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 c = runCommand("python -c 'import sys;print sys.platform'");
+	if (c.first != -1 && prefixIs(c.second, "cygwin")) {
 		cmd_ret const p = runCommand("mount --show-cygdrive-prefix");
 		// The output of the mount command is as follows:
 		// Prefix              Type         Flags

Reply via email to