[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bootstrap: a new option --skip-git, prohibiting the use git in the b
From: |
Bruno Haible |
Subject: |
Re: bootstrap: a new option --skip-git, prohibiting the use git in the bootstrap process. |
Date: |
Mon, 9 Aug 2010 11:33:20 +0200 |
User-agent: |
KMail/1.9.9 |
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