projects / pspp / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 454d899) | patch
bootstrap: add bootstrap_sync option.
authorJoel E. Denny <joeldenny@joeldenny.org>
Sat, 20 Nov 2010 14:37:45 +0000 (09:37 -0500)
committerJoel E. Denny <joeldenny@joeldenny.org>
Sun, 21 Nov 2010 14:49:52 +0000 (09:49 -0500)
commit9aa2d4c522f12870229df0fd01d3140bddf94317
tree04a9129cd99520631f1610afe3557635f7b5296dtree | snapshot
parent454d8990999cb6f0a2c60ccad2de6eb5bbeae45fcommit | diff
bootstrap: add bootstrap_sync option.

See discussion at
<http://lists.gnu.org/archive/html/bug-gnulib/2010-10/msg00369.html>,
<http://lists.gnu.org/archive/html/bug-gnulib/2010-11/msg00200.html>.
* build-aux/bootstrap: Accept --bootstrap-sync to update
bootstrap if it is not identical to the local gnulib's
bootstrap.  Accept bootstrap_sync=true in bootstrap.conf to
enable this by default.  Accept --no-bootstrap-sync to disable
it.
ChangeLog diff | blob | history
build-aux/bootstrap diff | blob | history
Unnamed repository; edit this file to name it for gitweb.