Mercurial > gnulib
annotate modules/gethrxtime @ 17363:5a51fb7777a9
sys_select, sys_time: port 2013-01-30 Solaris 2.6 fix to Cygwin
Problem reported by Marco Atzeri in
<http://lists.gnu.org/archive/html/bug-gnulib/2013-03/msg00000.html>.
* lib/sys_select.in.h [HAVE_SYS_SELECT_H && _CYGWIN_SYS_TIME_H]:
Simply delegate to the system <sys/select.h> in this case too.
Also, pay attention to _GL_SYS_SELECT_H_REDIRECT_FROM_SYS_TIME_H only
if OSF/1, since otherwise Cygwin breaks, and it doesn't seem to
be needed on Solaris either.
* lib/sys_time.in.h [_CYGWIN_SYS_TIME_H]:
Simply delgate to the system <sys/time.h> in this case.
author | Paul Eggert <eggert@cs.ucla.edu> |
---|---|
date | Tue, 19 Mar 2013 09:08:47 -0700 |
parents | fe213f3f2c57 |
children |
rev | line source |
---|---|
5662
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
1 Description: |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
2 Get high resolution real time. |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
3 |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
4 Files: |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
5 lib/xtime.h |
17176
fe213f3f2c57
gethrxtime: better 'inline'
Paul Eggert <eggert@cs.ucla.edu>
parents:
14964
diff
changeset
|
6 lib/xtime.c |
5662
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
7 lib/gethrxtime.c |
5751
7fb0f4feec6c
(Files): Add lib/gethrxtime.h.
Jim Meyering <jim@meyering.net>
parents:
5662
diff
changeset
|
8 lib/gethrxtime.h |
5662
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
9 m4/gethrxtime.m4 |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
10 m4/longlong.m4 |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
11 |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
12 Depends-on: |
7366
093909f43a08
* modules/clock-time: New module.
Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
parents:
7172
diff
changeset
|
13 clock-time |
7897
b7a83a69ac23
* MODULES.html.sh (Support for systems lacking POSIX:2001): New
Paul Eggert <eggert@cs.ucla.edu>
parents:
7497
diff
changeset
|
14 extensions |
17176
fe213f3f2c57
gethrxtime: better 'inline'
Paul Eggert <eggert@cs.ucla.edu>
parents:
14964
diff
changeset
|
15 extern-inline |
6449
232d8dc8525f
* modules/gethrxtime (Depends-on): Add gettime.
Paul Eggert <eggert@cs.ucla.edu>
parents:
5751
diff
changeset
|
16 gettime |
7897
b7a83a69ac23
* MODULES.html.sh (Support for systems lacking POSIX:2001): New
Paul Eggert <eggert@cs.ucla.edu>
parents:
7497
diff
changeset
|
17 sys_time |
5662
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
18 |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
19 configure.ac: |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
20 gl_GETHRXTIME |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
21 |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
22 Makefile.am: |
17176
fe213f3f2c57
gethrxtime: better 'inline'
Paul Eggert <eggert@cs.ucla.edu>
parents:
14964
diff
changeset
|
23 lib_SOURCES += gethrxtime.c xtime.c |
5662
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
24 |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
25 Include: |
12008
18ea6ab4e81d
maint: make Include sections of modules consistent
Eric Blake <ebb9@byu.net>
parents:
7897
diff
changeset
|
26 "xtime.h" |
5662
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
27 |
12145
9a08319141ac
maint: make realtime library usage explicit
Eric Blake <ebb9@byu.net>
parents:
12008
diff
changeset
|
28 Link: |
9a08319141ac
maint: make realtime library usage explicit
Eric Blake <ebb9@byu.net>
parents:
12008
diff
changeset
|
29 $(LIB_GETHRXTIME) |
9a08319141ac
maint: make realtime library usage explicit
Eric Blake <ebb9@byu.net>
parents:
12008
diff
changeset
|
30 |
5662
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
31 License: |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
32 GPL |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
33 |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
34 Maintainer: |
42df9db003cc
* modules/gethrxtime: New file.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff
changeset
|
35 Paul Eggert |