diff options
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 +|} |