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 --- cparser/Cerrors.ml | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) (limited to 'cparser') diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml index eec72023..f0b6bbbe 100644 --- a/cparser/Cerrors.ml +++ b/cparser/Cerrors.ml @@ -331,17 +331,18 @@ let warning_options = Exact ("-Werror"), Unit werror; Exact ("-Wall"), Unit wall;] -let warning_help = "Diagnostic options:\n\ -\ -Wall Enable all warnings\n\ -\ -W Enable the specific \n\ -\ -Wno- Disable the specific \n\ -\ -Werror Make all warnings into errors\n\ -\ -Werror= Turn into an error\n\ -\ -Wno-error= Turn into a warning even if -Werror is\n\ - specified\n\ -\ -Wfatal-errors Turn all errors into fatal errors aborting the compilation\n\ -\ -fdiagnostics-color Turn on colored diagnostics\n\ -\ -fno-diagnostics-color Turn of colored diagnostics\n" +let warning_help = {|Diagnostic options: + -Wall Enable all warnings + -W Enable the specific + -Wno- Disable the specific + -Werror Make all warnings into errors + -Werror= Turn into an error + -Wno-error= Turn into a warning even if -Werror is + specified + -Wfatal-errors Turn all errors into fatal errors aborting the compilation + -fdiagnostics-color Turn on colored diagnostics + -fno-diagnostics-color Turn of colored diagnostics +|} let raise_on_errors () = if !num_errors > 0 then -- cgit