diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-11-22 23:55:23 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-11-24 14:01:31 +0100 |
| commit | 3d41c2d953c15c455081276f64ae30676e3f9f38 (patch) | |
| tree | 075606c7cef8690c03871af8b497bcfa6e895102 /evaluate.c | |
| parent | 21df8a9d5763dfdcdec8b3e540d6c67459d75f74 (diff) | |
| download | sparse-dev-3d41c2d953c15c455081276f64ae30676e3f9f38.tar.gz | |
teach sparse about '-x <language>'
Sparse ignores unknown options but then doesn't know if
they have arguments or not. So, if '-x c' is given as option,
sparse will try to process a file named 'c'.
Fix this by teaching sparse about the option '-x' and its argument.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'evaluate.c')
0 files changed, 0 insertions, 0 deletions