# HG changeset patch
# User wenzelm
# Date 1348496868 -7200
# Node ID 9b12fcd0a88989ab7b6827d3be9b267d017b5f89
# Parent  0a82e98fd4a30478381c2bc200cd03ca556992e1
search bash via PATH as usual (this is no longer restricted to Cygwin with its known file-system layout);

diff -r 0a82e98fd4a3 -r 9b12fcd0a889 Admin/exec_process/exec_process.c
--- a/Admin/exec_process/exec_process.c	Mon Sep 24 16:13:56 2012 +0200
+++ b/Admin/exec_process/exec_process.c	Mon Sep 24 16:27:48 2012 +0200
@@ -46,12 +46,12 @@
   /* exec */
 
   char *cmd_line[4];
-  cmd_line[0] = "/bin/bash";
+  cmd_line[0] = "bash";
   cmd_line[1] = "-c";
   cmd_line[2] = script;
   cmd_line[3] = NULL;
 
-  execv("/bin/bash", cmd_line);
+  execvp(cmd_line[0], cmd_line);
   fail("Cannot exec process");
 }