[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-2354-gbe76bc0

[Arnold Robbins]

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, feature/fix-comments has been updated
       via  be76bc0ee3461800eaba3e41fadd307167c0c6e5 (commit)
       via  110a61377deed6871b83827497ec6674c139f61f (commit)
       via  c12d0922820bae4000677625726cc08a2eabe0ce (commit)
      from  26e5cfc94a913dfbbba37d6413d3ad68a7047da6 (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=be76bc0ee3461800eaba3e41fadd307167c0c6e5

commit be76bc0ee3461800eaba3e41fadd307167c0c6e5
Merge: 26e5cfc 110a613
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Nov 28 06:49:15 2016 +0200

    Merge branch 'master' into feature/fix-comments

diff --cc ChangeLog
index c9d12df,2d88b91..765d6c4
--- a/ChangeLog
+++ b/ChangeLog
@@@ -1,9 -1,14 +1,18 @@@
  2016-11-28         Arnold D. Robbins     <address@hidden>
  
-       Start improving profiling comments for switch/case.
+       Make gawk compile on HP-UX 11.33.
+ 
+       * debug.c (serialize_list): Renamed from `serialize'.
+       (unserialize_list): Renamed from `unserialize', for consistency.
+ 
+       Unrelated:
+ 
+       * dfa.c: Sync with GNULIB.
+ 
++      Unrelated: Start improving profiling comments for switch/case.
 +
 +      * awkgram.y (switch_head): New production.
 +
  2016-11-21         Arnold D. Robbins     <address@hidden>
  
        * dfa.c: Sync with GNULIB.

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

Summary of changes:
 ChangeLog |   11 +-
 debug.c   |   38 ++---
 dfa.c     |  513 +++++++++++++++++++++++++++----------------------------------
 3 files changed, 253 insertions(+), 309 deletions(-)


hooks/post-receive
-- 
gawk