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 /cparser | |
| parent | 1e26e3d26fa06c38f712ff4a2554de76212d38ab (diff) | |
| download | compcert-b82ae19b91db32b12f0c0afe1a478f9d4caa6497.tar.gz compcert-b82ae19b91db32b12f0c0afe1a478f9d4caa6497.zip | |
Use quoted strings.
Instead of escaping all newlines etc for the help options use
quoted strings.
Bug 19872
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/Cerrors.ml | 23 |
1 files changed, 12 insertions, 11 deletions
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<warning> Enable the specific <warning>\n\ -\ -Wno-<warning> Disable the specific <warning>\n\ -\ -Werror Make all warnings into errors\n\ -\ -Werror=<warning> Turn <warning> into an error\n\ -\ -Wno-error=<warning> Turn <warning> 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<warning> Enable the specific <warning> + -Wno-<warning> Disable the specific <warning> + -Werror Make all warnings into errors + -Werror=<warning> Turn <warning> into an error + -Wno-error=<warning> Turn <warning> 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 |