From 0e40a5b6ae0997b11469fdeea702db4c7f878c17 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 15 Dec 2015 14:34:57 +0100
Subject: Print cfi_sections only if cfi is supported.

On older version of the binutils the cfi directives  are not always
supported so we only print cfi_sections if the corresponding .ini
setting is set to true.
---
 ia32/TargetPrinter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ia32/TargetPrinter.ml')

diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml
index 4c436c45..5fec2a01 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;
-        fprintf oc "	.cfi_sections	.debug_frame\n"
+        cfi_section oc
       end
 
     let print_epilogue oc =
-- 
cgit