diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 14:59:04 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 14:59:04 +0100 |
commit | d23112021cd3a8e4caed49435764a2328025dd00 (patch) | |
tree | aa3f0b1f89d346f136ea267f73b3e5a11e792e7a | |
parent | 36f52bf433614156a64358dbd71019b8d34865c5 (diff) | |
download | compcert-d23112021cd3a8e4caed49435764a2328025dd00.tar.gz compcert-d23112021cd3a8e4caed49435764a2328025dd00.zip |
Use binary output.
This should avoid problems when newlines are used in string
constants etc.
Bug 23172
-rw-r--r-- | powerpc/AsmToJSON.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index 7c4c8f8a..eaa4c48b 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -378,7 +378,7 @@ let print_if prog sourcename = | None -> () | Some f -> let f = Filename.concat !sdump_folder f in - let oc = open_out f in + let oc = open_out_bin f in pp_ast (formatter_of_out_channel oc) pp_instructions prog sourcename; close_out oc |