aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Assembler.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2017-01-18 12:11:46 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2017-01-18 12:11:46 +0100
commitb82ae19b91db32b12f0c0afe1a478f9d4caa6497 (patch)
tree085e83886bdeddd71959a89de96dfad85a47ed12 /driver/Assembler.ml
parent1e26e3d26fa06c38f712ff4a2554de76212d38ab (diff)
downloadcompcert-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.ml7
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
+|}