From 1772a8118fae5152439965b2f9c9887c60a57c37 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 10 Feb 2015 16:22:28 +0100
Subject: Use lcomm instead of .local for Mingw.

---
 ia32/PrintAsm.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml
index 94d728e2..e6f905a3 100644
--- a/ia32/PrintAsm.ml
+++ b/ia32/PrintAsm.ml
@@ -166,8 +166,8 @@ module Mingw_System =
       fprintf oc "	.comm	%a, %s, %d\n" symbol name (Z.to_string sz) al
 
     let print_lcomm_decl oc name sz al =
-      fprintf oc "	.local	%a\n" symbol name;
-      print_comm_decl oc name sz al
+      fprintf oc "	.lcomm	%a, %s, %d\n"
+                 symbol name (Z.to_string sz) al
 
   end:SYSTEM)
 
-- 
cgit