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.

---
 arm/TargetPrinter.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'arm/TargetPrinter.ml')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 1d37d237..62dd2bc2 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -1120,7 +1120,8 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET =
       fprintf oc "	.%s\n" (if !Clflags.option_mthumb then "thumb" else "arm")
 
     let print_epilogue oc = ()
-        
+
+    let default_falignment = 4
   end
 
 let sel_target () = 
-- 
cgit