> It won't - Sys.os_type returns "Cygwin" and getconf isn't in Cygwin either - > http://cygwin.com/ml/cygwin/2010-12/msg00435.html (actually, it may be now - > I haven't upgraded my Cygwin in a while - but it'll be a recent addition)
Ok thanks. Apparently it may eventually [1]. > Personally, even for something where it's unimportant, I'd be nervous relying > on an environment variable (which can be edited...) I'm even more nervous about calling command line tools. The right way would be to use sysconf(3) or systcl(3), but Sys or Unix doesn't provide them. Best, Daniel [1] http://www.mail-archive.com/[email protected]/msg05220.html -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
