search bash via PATH as usual (this is no longer restricted to Cygwin with its known file-system layout);
1.1 --- a/Admin/exec_process/exec_process.c Mon Sep 24 16:13:56 2012 +0200
1.2 +++ b/Admin/exec_process/exec_process.c Mon Sep 24 16:27:48 2012 +0200
1.3 @@ -46,12 +46,12 @@
1.4 /* exec */
1.5
1.6 char *cmd_line[4];
1.7 - cmd_line[0] = "/bin/bash";
1.8 + cmd_line[0] = "bash";
1.9 cmd_line[1] = "-c";
1.10 cmd_line[2] = script;
1.11 cmd_line[3] = NULL;
1.12
1.13 - execv("/bin/bash", cmd_line);
1.14 + execvp(cmd_line[0], cmd_line);
1.15 fail("Cannot exec process");
1.16 }
1.17