1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
(* TEST include unix; libwin32unix; { bytecode; }{ native; } *) let console = try Unix.(openfile "/dev/tty" [O_RDWR] 0) with _ -> Unix.(openfile "CONIN$" [O_RDWR] 0) in Printf.printf "/dev/tty = %b\n" (Unix.isatty console)