diff options
Diffstat (limited to 'extension/time.c')
| -rw-r--r-- | extension/time.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extension/time.c b/extension/time.c index 7e3fc521..24c7572f 100644 --- a/extension/time.c +++ b/extension/time.c @@ -43,6 +43,7 @@ static const gawk_api_t *api; /* for convenience macros to work */ static awk_ext_id_t *ext_id; +static const char *ext_version = "time extension: version 1.0"; static awk_bool_t (*init_func)(void) = NULL; int plugin_is_GPL_compatible; |