From cb1da9d8176ea397b833f56ee49af5c75338676f Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 19 Feb 2015 10:12:16 +0100
Subject: Removed unused sel_target, changed cygwin symbol names and changed
 the default function aligment to be target dependent.

---
 ia32/TargetPrinter.ml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'ia32/TargetPrinter.ml')

diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml
index 55abe3b7..39f8be23 100644
--- a/ia32/TargetPrinter.ml
+++ b/ia32/TargetPrinter.ml
@@ -82,8 +82,9 @@ module Cygwin_System : SYSTEM =
 
     let raw_symbol oc s =
        fprintf oc "_%s" s
-
-    let symbol = elf_symbol
+        
+    let symbol oc symb =
+      raw_symbol oc (extern_atom symb)
 
     let label oc lbl =
        fprintf oc "L%d" lbl
@@ -179,7 +180,7 @@ module MacOS_System : SYSTEM =
      fprintf oc "_%s" s
 
     let symbol oc symb =
-      fprintf oc "_%s" (extern_atom symb)
+      raw_symbol oc (extern_atom symb)
 
     let label oc lbl =
       fprintf oc "L%d" lbl
@@ -967,6 +968,8 @@ module Target(System: SYSTEM):TARGET =
       System.print_epilogue oc
       
     let comment = comment
+
+    let default_falignment = 16
 end
 
 let sel_target () =
-- 
cgit