aboutsummaryrefslogtreecommitdiffstats
path: root/awkgram.y
diff options
context:
space:
mode:
Diffstat (limited to 'awkgram.y')
-rw-r--r--awkgram.y6
1 files changed, 5 insertions, 1 deletions
diff --git a/awkgram.y b/awkgram.y
index ad2fb35b..d094b0e7 100644
--- a/awkgram.y
+++ b/awkgram.y
@@ -2342,7 +2342,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)