12 // Just assume that the debugger runs on /dev/tty, independently of
13 // cl_stdin, cl_stdout, cl_stderr.
15 #if defined(CL_IO_STDIO)
17 FILE* cl_debugout = fopen("/dev/tty","a");
21 #if defined(CL_IO_IOSTREAM)
25 ostream* cl_debugout_stream = new ofstream ("/dev/tty");