blob: 06ec0924cd8295a935d2c896666f00d268723d9f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
(* TEST
unset FOO;
include unix;
script = "sh ${test_source_directory}/has-execvpe.sh";
hasunix;
script;
{
bytecode;
}{
native;
}
*)
open Printf
let _ =
let arg = Array.sub Sys.argv 1 (Array.length Sys.argv - 1) in
let env = Array.append [|"FOO=foo"|] (Unix.environment()) in
try
Unix.execvpe arg.(0) arg env
with
| Unix.Unix_error(Unix.ENOENT, _, arg) ->
eprintf "No such file %s\n" arg; exit 2
| Unix.Unix_error(Unix.EACCES, _, arg) ->
eprintf "Permission denied %s\n" arg; exit 2
| Unix.Unix_error(err, fn, arg) ->
eprintf "Other error %s - %s - %s\n" (Unix.error_message err) fn arg;
exit 4
|
