diff options
author | Andrew J. Schorr <aschorr@telemetry-investments.com> | 2012-07-10 10:56:48 -0400 |
---|---|---|
committer | Andrew J. Schorr <aschorr@telemetry-investments.com> | 2012-07-10 10:56:48 -0400 |
commit | e14e5c9737c2e8e61a3f5184525d7e9cbb3170b8 (patch) | |
tree | 6d51b153f34b951f7ef2fc1013d1679f8982a339 /awkgram.c | |
parent | 077270f8fb16ad5dbf33fe0ff8afedd34fdf435a (diff) | |
download | egawk-e14e5c9737c2e8e61a3f5184525d7e9cbb3170b8.tar.gz egawk-e14e5c9737c2e8e61a3f5184525d7e9cbb3170b8.tar.bz2 egawk-e14e5c9737c2e8e61a3f5184525d7e9cbb3170b8.zip |
Improve lint warning message about a previously loaded shared library.
Diffstat (limited to 'awkgram.c')
-rw-r--r-- | awkgram.c | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -5062,7 +5062,11 @@ add_srcfile(int stype, char *src, SRCFILE *thisfile, bool *already_included, int */ if (sourceline > 1 && lasttok == NEWLINE) line--; - lintwarn_ln(line, _("already included source file `%s'"), src); + lintwarn_ln(line, + stype != SRC_EXTLIB + ? _("already included source file `%s'") + : _("already loaded shared library `%s'"), + src); } efree(path); if (already_included) |