diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-30 12:33:38 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-30 12:33:38 +0100 |
| commit | 88cfc534ae24986a95211038b828a1878001044c (patch) | |
| tree | f7f2c4d4d65b9995b2116a78ad75be4065e0343e /cparser/Elab.mli | |
| parent | e858c84a7b2af9e7ccf4ac3268129520041210d9 (diff) | |
| download | compcert-kvx-88cfc534ae24986a95211038b828a1878001044c.tar.gz compcert-kvx-88cfc534ae24986a95211038b828a1878001044c.zip | |
Added support for different diagnostic formats.
The new option -fdiagnostics-format allows it to switch between
the three different format version:
-ccomp (default) with file:line:
-vi with file+line:
-msvc with file(line):
Bug 19872
Diffstat (limited to 'cparser/Elab.mli')
0 files changed, 0 insertions, 0 deletions