blob: d8f77bfabde0ef54789cb1d738cf4a1c31d1e427 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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 */
}
|