Improve lint warning message about a previously loaded shared library.

3 files changed, 16 insertions, 2 deletions

diff --git a/ChangeLog b/ChangeLog
index 861f410b..4b2ce3bf 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2012-07-10         Andrew J. Schorr     <aschorr@telemetry-investments.com>
+
+	* awkgram.y (add_srcfile): Lint warning message for a previously loaded
+	shared library should say "already loaded shared library" instead
+	of "already included source file".
+
 2012-07-08         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* gawkapi.h (set_array_element): Use index + value instead
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)
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)