aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--ChangeLog4
-rw-r--r--TODO.xgawk7
2 files changed, 7 insertions, 4 deletions
diff --git a/ChangeLog b/ChangeLog
index 253daee8..533847ca 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
2012-06-10 Andrew J. Schorr <aschorr@telemetry-investments.com>
+ * TODO.xgawk: Addition of time extension moved to "done" section.
+
+2012-06-10 Andrew J. Schorr <aschorr@telemetry-investments.com>
+
* gawkapi.c (api_update_ERRNO_string): Treat boolean true as a request
for TRANSLATE, and false as DONT_TRANSLATE.
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.