search bash via PATH as usual (this is no longer restricted to Cygwin with its known file-system layout);
authorwenzelm
Mon, 24 Sep 2012 16:27:48 +0200
changeset 505669b12fcd0a889
parent 50565 0a82e98fd4a3
child 50567 30fe027a18bd
search bash via PATH as usual (this is no longer restricted to Cygwin with its known file-system layout);
Admin/exec_process/exec_process.c
     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