Use `clock-time' directly from Gnulib, but with a local patch.
authorLudovic Courtès <ludo@gnu.org>
Fri, 6 Jul 2012 21:56:05 +0000 (23:56 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 6 Jul 2012 21:56:05 +0000 (23:56 +0200)
commit235c280489cea3cc1272f9c9b0f6966791274712
tree94d96c0a9b58cec663fac4184ede5903855d9f0d
parent005de2e8273853e155c21767b1c8bdb4f3f3ca53
Use `clock-time' directly from Gnulib, but with a local patch.

This is equivalent to the previous situation, but more easily
maintainable.

* acinclude.m4 (gl_CLOCK_TIME): Remove.

* configure.ac: Remove explicit use of `gl_CLOCK_TIME'.

* m4/gnulib-cache.m4 (gl_MODULES): Add `clock-time'.

* gnulib-local/m4/clock_time.m4.diff: New file.
* Makefile.am (EXTRA_DIST): Add it.
Makefile.am
acinclude.m4
configure.ac
gnulib-local/m4/clock_time.m4.diff [new file with mode: 0644]
lib/Makefile.am
libguile/Makefile.am
m4/gnulib-cache.m4
m4/gnulib-comp.m4