From 5472c2cc2889aab121c32ed4ca6bd831ae520d89 Mon Sep 17 00:00:00 2001 From: "Andrew J. Schorr" Date: Sun, 10 Jun 2012 21:07:43 -0400 Subject: Update TODO.xgawk to show that the time extension has been added. --- TODO.xgawk | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'TODO.xgawk') diff --git a/TODO.xgawk b/TODO.xgawk index 3a600a79..a2f78e86 100644 --- a/TODO.xgawk +++ b/TODO.xgawk @@ -10,10 +10,6 @@ To-do list for xgawk enhancements: - Attempting to load the same file with -f and -i (or @include) should be a fatal error. -- Add time extension to the gawk distro. This defines sleep and gettimeofday. - Rename existing gettimeofday by adding some underscores. Awaiting - confirmation of copyright assignment from FSF... - - Develop a libgawk shared library for use by extensions. Should this be hosted in a separate project? @@ -161,3 +157,6 @@ Done: stuff in there. - Running "make install" should install gawkapi.h in /usr/include. + +- Add time extension to the gawk distro. This defines sleep and gettimeofday. + Renamed existing gettimeofday to getlocaltime. -- cgit v1.2.3