From 99b02bd388f2b84acf9c2c226bf2ac7703c03ba8 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 11 Jul 2012 08:22:38 +0000
Subject: Strip quotes from section names during #pragma parsing. Reinstall the
 quotes when printing asm. The idea is that .sdump files now contain unquoted
 section names, which is easier on cchecklink.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1967 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 arm/PrintAsm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'arm/PrintAsm.ml')

diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml
index 36becdc..6d6296b 100644
--- a/arm/PrintAsm.ml
+++ b/arm/PrintAsm.ml
@@ -116,7 +116,7 @@ let name_of_section_ELF = function
   | Section_literal -> ".text"
   | Section_jumptable -> ".text"
   | Section_user(s, wr, ex) ->
-       sprintf ".section	%s,\"a%s%s\",%%progbits"
+       sprintf ".section	\"%s\",\"a%s%s\",%%progbits"
                s (if wr then "w" else "") (if ex then "x" else "")
 
 let section oc sec =
-- 
cgit v1.2.3