aboutsummaryrefslogtreecommitdiffstats
path: root/awkgram.c
diff options
context:
space:
mode:
authorAndrew J. Schorr <aschorr@telemetry-investments.com>2012-07-10 10:56:48 -0400
committerAndrew J. Schorr <aschorr@telemetry-investments.com>2012-07-10 10:56:48 -0400
commite14e5c9737c2e8e61a3f5184525d7e9cbb3170b8 (patch)
tree6d51b153f34b951f7ef2fc1013d1679f8982a339 /awkgram.c
parent077270f8fb16ad5dbf33fe0ff8afedd34fdf435a (diff)
downloadegawk-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.c6
1 files changed, 5 insertions, 1 deletions
diff --git a/awkgram.c b/awkgram.c
index 5d3cd6c2..64a75832 100644
--- a/awkgram.c
+++ b/awkgram.c
@@ -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)