diff options
| author | Jim Cromie <jim.cromie@gmail.com> | 2011-05-23 12:44:57 -0600 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2011-05-24 16:07:07 +0200 |
| commit | ca995cbf77f3df599b7e751c2d08d90787c65c45 (patch) | |
| tree | 3004eea8ebd0caada01d4e012d95810249ea0b20 /Makefile | |
| parent | bdabc7a345db97b3839c2c3deef40023cf8017ef (diff) | |
export_report: use warn() to issue WARNING, so they go to stderr
Also count CONFIG_MODVERSIONS warnings, and print a NOTE at start of
SECTION 2 if any were issued. Section 2 will be empty if the build is
lacking this CONFIG_ item, and user may have missed the warnings, as
they're off screen.
Signed-off-by: Jim Cromie <jim.cromie@gmail.com>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions