diff options
author | Jim Cromie <jim.cromie@gmail.com> | 2011-05-23 20:44:57 +0200 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2011-05-24 16:07:07 +0200 |
commit | ca995cbf77f3df599b7e751c2d08d90787c65c45 (patch) | |
tree | 3004eea8ebd0caada01d4e012d95810249ea0b20 /scripts/headers_install.pl | |
parent | export_report: sort SECTION 2 output (diff) | |
download | linux-ca995cbf77f3df599b7e751c2d08d90787c65c45.tar.xz linux-ca995cbf77f3df599b7e751c2d08d90787c65c45.zip |
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 'scripts/headers_install.pl')
0 files changed, 0 insertions, 0 deletions