]> Savannah Git Hosting - gnulib.git/commit
bootstrap: Avoid gnulib operations if not needed
authorPaul Smith <psmith@gnu.org>
Sat, 28 Apr 2018 23:37:50 +0000 (16:37 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 28 Apr 2018 23:38:46 +0000 (16:38 -0700)
commitc66dba9bae8e16e075b657542079085284bc3cf8
tree45ccb1bf706d5575823df413e40289e8407d17ce
parent36999acc31d168d32a0f992f4fd11027d24de594
bootstrap: Avoid gnulib operations if not needed

* build-aux/bootstrap: Remove unused variable gnulib_mk.
Set $gnulib_extra_files early so it can be overridden in .conf.
Remove redundant --import flag from $gnulib_tool_options.
Set $use_gnulib to false if no gnulib modules or files are needed.
If $use_gnulib is false, don't do anything related to gnulib.
A lot of this is just whitespace (indentation) changes.
ChangeLog
build-aux/bootstrap