diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-04-11 07:44:22 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-04-11 07:44:22 +0300 |
| commit | ebb6772e9eabeb81e3cc9305a6bec7adf7aad450 (patch) | |
| tree | 2cf743f82791db19cc7e31cab86b1fc9a4d5ddbb /extension/time.c | |
| parent | e069c636968370f0899d5e4ebaeb9c2341804245 (diff) | |
| parent | a4b59faf911743b30f2e6e979c4f9c1ea0669ac3 (diff) | |
| download | egawk-ebb6772e9eabeb81e3cc9305a6bec7adf7aad450.tar.gz egawk-ebb6772e9eabeb81e3cc9305a6bec7adf7aad450.tar.bz2 egawk-ebb6772e9eabeb81e3cc9305a6bec7adf7aad450.zip | |
Merge branch 'master' into comment
Diffstat (limited to 'extension/time.c')
| -rw-r--r-- | extension/time.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/extension/time.c b/extension/time.c index c336df88..e6b2b39f 100644 --- a/extension/time.c +++ b/extension/time.c @@ -3,7 +3,7 @@ */ /* - * Copyright (C) 2012, 2013 + * Copyright (C) 2012, 2013, 2014 * the Free Software Foundation, Inc. * * This file is part of GAWK, the GNU implementation of the @@ -85,15 +85,13 @@ static awk_bool_t (*init_func)(void) = NULL; int plugin_is_GPL_compatible; +#include <time.h> #if defined(HAVE_GETTIMEOFDAY) && defined(HAVE_SYS_TIME_H) #include <sys/time.h> #endif #if defined(HAVE_SELECT) && defined(HAVE_SYS_SELECT_H) #include <sys/select.h> #endif -#if defined(HAVE_NANOSLEEP) && defined(HAVE_TIME_H) -#include <time.h> -#endif #if defined(HAVE_GETSYSTEMTIMEASFILETIME) #define WIN32_LEAN_AND_MEAN #include <windows.h> |