[gawk-diffs] [SCM] gawk branch, extgawk, updated. e14e5c9737c2e8e61a3f5184525d7e9cbb3170b8

[Andrew J. Schorr]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, extgawk has been updated
       via  e14e5c9737c2e8e61a3f5184525d7e9cbb3170b8 (commit)
      from  077270f8fb16ad5dbf33fe0ff8afedd34fdf435a (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=e14e5c9737c2e8e61a3f5184525d7e9cbb3170b8

commit e14e5c9737c2e8e61a3f5184525d7e9cbb3170b8
Author: Andrew J. Schorr <address@hidden>
Date:   Tue Jul 10 10:56:48 2012 -0400

    Improve lint warning message about a previously loaded shared library.

diff --git a/ChangeLog b/ChangeLog
index 861f410..4b2ce3b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2012-07-10         Andrew J. Schorr     <address@hidden>
+
+       * 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     <address@hidden>
 
        * gawkapi.h (set_array_element): Use index + value instead
diff --git a/awkgram.c b/awkgram.c
index 5d3cd6c..64a7583 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 ad2fb35..d094b0e 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)

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog |    6 ++++++
 awkgram.c |    6 +++++-
 awkgram.y |    6 +++++-
 3 files changed, 16 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk