From 2c72ac19c3321100b542d68773e2725cbf33dc3f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 11 Jan 2002 08:24:23 +0000
Subject: Pour déterminer sous Windows si ocaml est en version cygwin ou win32

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2391 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/giveostype.ml | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 config/giveostype.ml

diff --git a/config/giveostype.ml b/config/giveostype.ml
new file mode 100644
index 0000000000..e657bc79f5
--- /dev/null
+++ b/config/giveostype.ml
@@ -0,0 +1 @@
+print_string Sys.os_type;;
-- 
cgit v1.2.3