Re: bootstrap: a new option --skip-git, prohibiting the use git in the bootstrap process.

[Bruno Haible]

Hello,

>   I propose to add to bootstrap key --skip-git (analog --skip-po),
> completely eliminates the use git in the bootstrap process.
> (see <http://lists.gnu.org/archive/html/bug-gnulib/2010-03/msg00229.html>)

I've had the same request in
  <http://lists.gnu.org/archive/html/bug-gnulib/2010-03/msg00135.html>
and Dmitry Levin as well:
  <http://lists.gnu.org/archive/html/bug-gnulib/2010-03/msg00244.html>

Eric's answer is that the user now needs to use a certain series of
git commands, in order to work around the stuff that he has built into
'bootstrap'. I'm not terribly satisfied with it, because it's complex.
Personally I prefer to hack the bootstrap script each time I encounter
one:

--- bootstrap.orig      Mon Aug  9 11:32:02 2010
+++ bootstrap   Sun Aug  8 12:51:29 2010
@@ -436,6 +436,7 @@
   GNULIB_SRCDIR=$gnulib_path
   ;;
 *)
+  if false; then
   # Use GNULIB_SRCDIR as a reference.
   if test -d "$GNULIB_SRCDIR"/.git && \
         git_modules_config submodule.gnulib.url >/dev/null; then
@@ -460,6 +461,7 @@
     fi
     GNULIB_SRCDIR=$gnulib_path
   fi
+  fi
   ;;
 esac
 

Bruno