| commit | a4a814cdafbaab983eafa4cd7df5ec849106f211 | |
| author | Gary V. Vaughan <gary@gnu.org> | |
| Fri, 23 Aug 2013 13:17:50 +0000 (23 20:17 +0700) | ||
| committer | Gary V. Vaughan <gary@gnu.org> | |
| Fri, 23 Aug 2013 13:21:45 +0000 (23 20:21 +0700) | ||
| tree | 1396031cd6031e2057a9e9ce4cf1e79500b95315 | treesnapshot (tar.gz zip) |
| parent | 049be0146e67fa9fde5c97ae87f4575752199649 | commitdiff |
bootstrap: support gnulib gnulib_tool_option_extras settings.
* gl/build-aux/bootstrap.in (func_gnulib_tool): Even though we
don't need it, support gnulib_tool_option_extras for bootstrap.conf
ported from gnulib bootstrap.
* bootstrap: Regenerate.
Reported by Mike Miller.
Signed-off-by: Gary V. Vaughan <gary@gnu.org>
* gl/build-aux/bootstrap.in (func_gnulib_tool): Even though we
don't need it, support gnulib_tool_option_extras for bootstrap.conf
ported from gnulib bootstrap.
* bootstrap: Regenerate.
Reported by Mike Miller.
Signed-off-by: Gary V. Vaughan <gary@gnu.org>
| bootstrap | diffblobblamehistory | |
| gl/build-aux/bootstrap.in | diffblobblamehistory |