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