diff options
Diffstat (limited to 'gnulib/modules/timer-time')
m--------- | gnulib | 0 | ||||
-rw-r--r-- | gnulib/modules/timer-time | 26 |
2 files changed, 26 insertions, 0 deletions
diff --git a/gnulib b/gnulib deleted file mode 160000 -Subproject 443bc5ffcf7429e557f4a371b0661abe98ddbc1 diff --git a/gnulib/modules/timer-time b/gnulib/modules/timer-time new file mode 100644 index 0000000..07b439b --- /dev/null +++ b/gnulib/modules/timer-time @@ -0,0 +1,26 @@ +Description: +Check for timer_settime. Within HAVE_TIMER_SETTIME one can +assume timer_create, timer_delete and timer_gettime are available too. + +Files: +m4/timer_time.m4 + +Depends-on: +extensions + +configure.ac: +gl_TIMER_TIME + +Makefile.am: + +Include: +<time.h> + +Link: +$(LIB_TIMER_TIME) + +License: +LGPLv2+ + +Maintainer: +Pádraig Brady, Paul Eggert, Jim Meyering |