From ed2ffef62c76f3b716b1be0fab8adca507cd5c58 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 23 Dec 2011 17:21:38 +0000
Subject: myocamlbuild: -DWIN32 instead of -DWin32

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14849 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 myocamlbuild.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index 4bc34f1204..bd4d1c3450 100644
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -285,7 +285,7 @@ let extra_rules () = begin
   flag_and_dep ["p4mod"; "use_compat5b"] (P "tools/compat5b.cmo");
 
   if w32 then begin
-    flag ["p4mod"] (A "-DWin32");
+    flag ["p4mod"] (A "-DWIN32");
     dep ["ocaml"; "link"; "ide"] ["ide/ide_win32_stubs.o"];
   end;
 
-- 
cgit v1.2.3