summaryrefslogtreecommitdiff
path: root/top
diff options
context:
space:
mode:
authorBruno Haible <bruno@clisp.org>2022-07-24 12:58:44 +0200
committerBruno Haible <bruno@clisp.org>2022-07-24 13:25:58 +0200
commit2122284380cc0d1b3b6f11d92c04652616da79c7 (patch)
treef6aa5f02a20e73545484bb743fcb87c3240effc9 /top
parent27957b76186707575ae38f5fc515629c40cbfaaa (diff)
downloadgnulib-2122284380cc0d1b3b6f11d92c04652616da79c7.tar.gz
bootstrap: Obey another environment variable GNULIB_REFDIR.
* build-aux/bootstrap (usage): Document option --gnulib-refdir and environment variable GNULIB_REFDIR. Accept option --gnulib-refdir. When GNULIB_SRCDIR is specified, verify that it denotes a directory. Use $GNULIB_REFDIR, not $GNULIB_SRCDIR, as argument to git's --reference option. Improve an error message. * NEWS: Mention the change.
Diffstat (limited to 'top')
0 files changed, 0 insertions, 0 deletions