diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 12:11:46 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 12:11:46 +0100 |
commit | b82ae19b91db32b12f0c0afe1a478f9d4caa6497 (patch) | |
tree | 085e83886bdeddd71959a89de96dfad85a47ed12 /driver/Assembler.ml | |
parent | 1e26e3d26fa06c38f712ff4a2554de76212d38ab (diff) | |
download | compcert-kvx-b82ae19b91db32b12f0c0afe1a478f9d4caa6497.tar.gz compcert-kvx-b82ae19b91db32b12f0c0afe1a478f9d4caa6497.zip |
Use quoted strings.
Instead of escaping all newlines etc for the help options use
quoted strings.
Bug 19872
Diffstat (limited to 'driver/Assembler.ml')
-rw-r--r-- | driver/Assembler.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/driver/Assembler.ml b/driver/Assembler.ml index 52fb17d8..1d91ef50 100644 --- a/driver/Assembler.ml +++ b/driver/Assembler.ml @@ -42,6 +42,7 @@ let assembler_actions = assembler_options := s::!assembler_options );] let assembler_help = -"Assembling options:\n\ -\ -Wa,<opt> Pass option <opt> to the assembler\n\ -\ -Xassembler <opt> Pass <opt> as an option to the assembler\n" +{|Assembling options: + -Wa,<opt> Pass option <opt> to the assembler + -Xassembler <opt> Pass <opt> as an option to the assembler +|} |