diff options
author | lloyd <[email protected]> | 2006-09-10 04:07:12 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2006-09-10 04:07:12 +0000 |
commit | 0e28c141d24fe14dfacbfd42072292f348f0673c (patch) | |
tree | 643769e832375d3a4c491a145c4c5ad825de7561 | |
parent | d13f7ba97c8587ed926bfaafec394b1600f14082 (diff) |
Clean up the output produced when a 'note' directive is encountered in a
module.
-rwxr-xr-x | configure.pl | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/configure.pl b/configure.pl index 0ff47f46c..d73ac6236 100755 --- a/configure.pl +++ b/configure.pl @@ -861,11 +861,8 @@ sub load_module { &$handle_files($module{'replace'}, sub { ignore_file(@_); add_file(@_); }); - if(defined($module{'note'})) { - my $realname = $module{'realname'}; - my $note = $module{'note'}; - warning("$modname (\"$realname\"): $note\n"); - } + warning($modname, ': ', $module{'note'}) + if(defined($module{'note'})); } ################################################## |