From cb1da9d8176ea397b833f56ee49af5c75338676f Mon Sep 17 00:00:00 2001 From: Bernhard Schommer 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. --- powerpc/TargetPrinter.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'powerpc/TargetPrinter.ml') diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 964f75a7..70aec6c0 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -741,6 +741,7 @@ module Target (System : SYSTEM):TARGET = jumptables := [] end + let default_falignment = 4 end let sel_target () = -- cgit