[gawk-diffs] [SCM] gawk branch, xgawk-build, updated. 2981962139f8a726f5568d8ab1004e078214cea3

[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, xgawk-build has been updated
       via  2981962139f8a726f5568d8ab1004e078214cea3 (commit)
      from  dbb8f309183eb908cca5178460f61f93afdab0a0 (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=2981962139f8a726f5568d8ab1004e078214cea3

commit 2981962139f8a726f5568d8ab1004e078214cea3
Author: Andrew J. Schorr <address@hidden>
Date:   Mon Mar 26 10:56:38 2012 -0400

    Update TODO.xgawk.

diff --git a/TODO.xgawk b/TODO.xgawk
index 9795dcd..0e30165 100644
--- a/TODO.xgawk
+++ b/TODO.xgawk
@@ -16,6 +16,9 @@ Done:
 
 To do (not necessarily in this order):
 
+- Fix Makefile.am to build gawk as a stub calling into a shared library.
+  This will allow extensions to work on Cygwin and Mingw.
+
 - Enable default ".awk" search in io.c:find_source().  The simple change
   is to add this code inline in io.c:
       #ifndef DEFAULT_FILETYPE
@@ -108,10 +111,6 @@ Possible changes requiring (further) discussion:
   etc, I'd like to keep things simple.  But how we design this is going
   to be very important.
 
-- Add a valgrind target in Makefile.am and associated valgrind-scan target in
-  test/Makefile.am.  This runs "make check" under valgrind.  This was
-  invaluable for finding bugs.
-
 - Include a sample rpm spec file in a new packaging subdirectory.
 
 - Patch lexer for @include and @load to make quotes optional.

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

Summary of changes:
 TODO.xgawk |    7 +++----
 1 files changed, 3 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
gawk