summaryrefslogtreecommitdiffstats
path: root/otherlibs/unix/execvp.c
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-05-08 15:18:32 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-05-08 15:18:32 +0000
commit3844ccfcf176f5d3efd9df040f9134402b8f4d76 (patch)
treeb7a3033e2a7b3949399482a32d0c4711a5ced0ae /otherlibs/unix/execvp.c
parent997fb206a78dd2ec553a397c1d4e0d4a93714ef5 (diff)
Recuperation de libunix de CL0.7
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/execvp.c')
-rw-r--r--otherlibs/unix/execvp.c18
1 files changed, 18 insertions, 0 deletions
diff --git a/otherlibs/unix/execvp.c b/otherlibs/unix/execvp.c
new file mode 100644
index 000000000..d8f77bfab
--- /dev/null
+++ b/otherlibs/unix/execvp.c
@@ -0,0 +1,18 @@
+#include <mlvalues.h>
+#include <memory.h>
+#include "unix.h"
+
+extern char ** cstringvect();
+
+value unix_execvp(path, args) /* ML */
+ value path, args;
+{
+ char ** argv;
+ argv = cstringvect(args);
+ (void) execvp(String_val(path), argv);
+ stat_free((char *) argv);
+ uerror("execvp", path);
+ return Val_unit; /* never reached, but suppress warnings */
+ /* from smart compilers */
+}
+