]> Savannah Git Hosting - gnulib.git/commit
maintainer-makefile: Determine gnulib's location on disk correctly.
authorBruno Haible <bruno@clisp.org>
Mon, 30 Jan 2023 01:45:23 +0000 (02:45 +0100)
committerBruno Haible <bruno@clisp.org>
Fri, 10 Feb 2023 02:27:46 +0000 (03:27 +0100)
commit24437fcd4ff1ef53074a781344c0b620e71a7a74
tree06d53bb3e10dcc8764578b92c718580c82778173
parentaa468a75f09120ed4f4dbc31073173ef9676dbcd
maintainer-makefile: Determine gnulib's location on disk correctly.

* top/maint.mk (gnulib_dir): Give priority to $(GNULIB_SRCDIR) over
$(srcdir)/gnulib.
ChangeLog
top/maint.mk