From b82ae19b91db32b12f0c0afe1a478f9d4caa6497 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 18 Jan 2017 12:11:46 +0100 Subject: Use quoted strings. Instead of escaping all newlines etc for the help options use quoted strings. Bug 19872 --- driver/Frontend.ml | 66 ++++++++++++++++++++++++++++-------------------------- 1 file changed, 34 insertions(+), 32 deletions(-) (limited to 'driver/Frontend.ml') diff --git a/driver/Frontend.ml b/driver/Frontend.ml index 043d4e5a..41ca3bb8 100644 --- a/driver/Frontend.ml +++ b/driver/Frontend.ml @@ -128,37 +128,39 @@ let prepro_actions = [ @ (if gnu_system then gnu_prepro_actions else []) let gnu_prepro_help = -"\ -M Ouput a rule suitable for make describing the\n\ -\ dependencies of the main source file\n\ -\ -MM Like -M but do not mention system header files\n\ -\ -MF Specifies file as output file for -M or -MM\n\ -\ -MG Assumes missing header files are generated for -M\n\ -\ -MP Add a phony target for each dependency other than\n\ -\ the main file\n\ -\ -MT Change the target of the rule emitted by dependency\n\ -\ generation\n\ -\ -MQ Like -MT but quotes \n\ -\ -nostdinc Do not search the standard system directories for\n\ -\ header files\n\ -\ -imacros Like -include but throws output produced by\n\ -\ preprocessing of away\n\ -\ -idirafter Search for header files after all directories\n\ -\ specified with -I and the standard system directories\n\ -\ -isystem Search for header files after all directories\n\ -\ specified by -I but before the standard system directories\n\ -\ -iquote Like -isystem but only for headers included with\n\ -\ quotes\n\ -\ -P Do not generate linemarkers\n\ -\ -C Do not discard comments\n\ -\ -CC Do not discard comments, including during macro\n\ -\ expansion\n" +{| -M Ouput a rule suitable for make describing the + dependencies of the main source file + -MM Like -M but do not mention system header files + -MF Specifies file as output file for -M or -MM + -MG Assumes missing header files are generated for -M + -MP Add a phony target for each dependency other than + the main file + -MT Change the target of the rule emitted by dependency + generation + -MQ Like -MT but quotes + -nostdinc Do not search the standard system directories for + header files + -imacros Like -include but throws output produced by + preprocessing of away + -idirafter Search for header files after all directories + specified with -I and the standard system directories + -isystem Search for header files after all directories + specified by -I but before the standard system directories + -iquote Like -isystem but only for headers included with + quotes + -P Do not generate linemarkers + -C Do not discard comments + -CC Do not discard comments, including during macro + expansion +|} -let prepro_help = "Preprocessing options:\n\ -\ -I Add to search path for #include files\n\ -\ -include Process as if #include \"\" appears at the first\n\ -\ line of the primary source file.\n\ -\ -D= Define preprocessor symbol\n\ -\ -U Undefine preprocessor symbol\n\ -\ -Wp, Pass option to the preprocessor\n\ -\ -Xpreprocessor Pass option to the preprocessor\n" +let prepro_help = {|Preprocessing options: + -I Add to search path for #include files + -include Process as if #include "" appears at the first + line of the primary source file. + -D= Define preprocessor symbol + -U Undefine preprocessor symbol + -Wp, Pass option to the preprocessor + -Xpreprocessor Pass option to the preprocessor +|} ^ (if gnu_system then gnu_prepro_help else "") -- cgit