summaryrefslogtreecommitdiff
path: root/asmcomp/sparc/emit.mlp
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2006-04-16 23:28:22 +0000
committerDamien Doligez <damien.doligez-inria.fr>2006-04-16 23:28:22 +0000
commit1279ab4b76cad7001b3b47902d4813947f427031 (patch)
treeedfd352c4bc8217cfb8a943844840b23734722a0 /asmcomp/sparc/emit.mlp
parent8604fbe7f330eaaeda35680fbf1d641a4c4a6798 (diff)
downloadocaml-1279ab4b76cad7001b3b47902d4813947f427031.tar.gz
fusion des changements 3.09.1 -> 3.09.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/sparc/emit.mlp')
-rw-r--r--asmcomp/sparc/emit.mlp3
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/sparc/emit.mlp b/asmcomp/sparc/emit.mlp
index dbca9c394f..7393d9084e 100644
--- a/asmcomp/sparc/emit.mlp
+++ b/asmcomp/sparc/emit.mlp
@@ -76,7 +76,8 @@ let emit_size lbl =
` .size {emit_symbol lbl},.-{emit_symbol lbl}\n`
let rodata () =
- if Config.system = "solaris" (* || Config.system = "linux" *) then
+ if Config.system = "solaris" (* || Config.system = "linux" *)
+ (* || Config.system = "gnu" *) then
` .section \".rodata\"\n`
else
` .data\n`