]> 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>
Mon, 30 Jan 2023 01:45:23 +0000 (02:45 +0100)
commit219e21c7799972538eff55ebddf0e5380efc904b
tree3754b148c7d05d7f843a4094c2858e2ecb681b0c
parent522aea1093a598246346b3e1c426505c344fe19a
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