From 0af96302ae861e35c7e2dace1182e30be0b67851 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 17 Dec 2015 10:32:01 +0100
Subject: Do not print cfi_sections for bsd.

The binutils in bsd seem to support cfi directives but not the
cfi_sections directive.
---
 ia32/TargetPrinter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ia32')

diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml
index 5fec2a01..f12843d2 100644
--- a/ia32/TargetPrinter.ml
+++ b/ia32/TargetPrinter.ml
@@ -759,7 +759,7 @@ module Target(System: SYSTEM):TARGET =
       need_masks := false;
       if !Clflags.option_g then begin
         section oc Section_text;
-        cfi_section oc
+        if Configuration.system <> "bsd" then cfi_section oc
       end
 
     let print_epilogue oc =
-- 
cgit