Merge branch 'master' into pure-makefiles

1 files changed, 10 insertions, 9 deletions

diff --git a/powerpc/PrintAsm.ml b/powerpc/PrintAsm.ml
index 587dfccf..760ed275 100644
--- a/powerpc/PrintAsm.ml
+++ b/powerpc/PrintAsm.ml
@@ -105,13 +105,14 @@ module Linux_System =
  
     let name_of_section = function
       | Section_text -> ".text"
-      | Section_data i -> if i then ".data" else "COMM"
+      | Section_data i ->
+          if i then ".data" else "COMM"
       | Section_small_data i -> 
-          if i
-          then ".section	.sdata,\"aw\",@progbits"
-          else ".section	.sbss,\"aw\",@progbits"
-      | Section_const -> ".rodata"
-      | Section_small_const -> ".section	.sdata2,\"a\",@progbits"
+          if i then ".section	.sdata,\"aw\",@progbits" else "COMM"
+      | Section_const i ->
+          if i then ".rodata" else "COMM"
+      | Section_small_const i ->
+          if i then ".section	.sdata2,\"a\",@progbits" else "COMM"
       | Section_string -> ".rodata"
       | Section_literal -> ".section	.rodata.cst8,\"aM\",@progbits,8"
       | Section_jumptable -> ".text"
@@ -197,10 +198,10 @@ module Diab_System =
         
     let name_of_section = function
       | Section_text -> ".text"
-      | Section_data i -> if i then ".data" else ".bss"
+      | Section_data i -> if i then ".data" else "COMM"
       | Section_small_data i -> if i then ".sdata" else ".sbss"
-      | Section_const -> ".text"
-      | Section_small_const -> ".sdata2"
+      | Section_const _ -> ".text"
+      | Section_small_const _ -> ".sdata2"
       | Section_string -> ".text"
       | Section_literal -> ".text"
       | Section_jumptable -> ".text"