Fix syntax for comments in gas (not currently used, but useful to mark parts of the generated output).

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Alain Frisch 2014-09-24 15:20:24 +00:00
parent 7dea33dc40
commit 11f3e765be
1 changed files with 1 additions and 1 deletions

View File

@ -240,7 +240,7 @@ let print_line b = function
| Bytes s ->
if system = S_solaris then assert false (* TODO *)
else bprintf b "\t.ascii\t\"%s\"" (string_of_string_literal s)
| Comment s -> bprintf b "\t\t\t\t(* %s *)" s
| Comment s -> bprintf b "\t\t\t\t/* %s */" s
| End -> ()
| Global s -> bprintf b "\t.globl\t%s" s;
| Long n -> bprintf b "\t.long\t%a" cst n