diff options
| author | Ramsay Jones <ramsay@ramsayjones.plus.com> | 2017-07-31 00:27:42 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-08-09 21:56:31 -0400 |
| commit | c3db8218a6d1fa3ada5e1513a21f8207604d877c (patch) | |
| tree | a711e9a5a415bfe65e634c51dfbe902807406843 /linearize.c | |
| parent | 2927c4a4f9b1e8f439679f8741b0411c0f22b419 (diff) | |
| download | sparse-dev-c3db8218a6d1fa3ada5e1513a21f8207604d877c.tar.gz | |
Makefile: pass -Wno-vla to sparse while checking pre-process.c
Introduce a $(CHECKER_FLAGS) variable to allow adding flags, using
target specific variable assignments, to specific $(CHECKER) command
invocations. In particular, in a new pre-process.cs target, include
'-Wno-vla' in the flags while checking pre-process.c.
Signed-off-by: Ramsay Jones <ramsay@ramsayjones.plus.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'linearize.c')
0 files changed, 0 insertions, 0 deletions