blob: 3ce275930022d2b52041d5bfa55c6772ca73732f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(* TEST
include unix;
stdin = "/dev/null";
stderr = "/dev/null";
hasunix;
{
bytecode;
}{
native;
}
*)
Printf.printf
"Unix.isatty Unix.stdin = %b\n\
Unix.isatty Unix.stdout = %b\n\
Unix.isatty Unix.stderr = %b\n"
(Unix.isatty Unix.stdin)
(Unix.isatty Unix.stdout)
(Unix.isatty Unix.stderr)
|