Re: can't bootstrap bison

[Akim Demaille]

Hi Bruno,

> Le 7 avr. 2020 à 10:52, Bruno Haible <address@hidden> a écrit :
> 
> Hi Akim,
> 
>>  $ git submodule init
>>  $ ./bootstrap
>>  ...
>>  ./bootstrap: some git submodules are not initialized.  Run 'git submodule 
>> init' and bootstrap again.
>>  $ echo $?
>>  1
> 
> More details:
> 
> $ git -C submodules/autoconf status
> On branch master
> Your branch is up-to-date with 'origin/master'.
> nothing to commit, working directory clean

I don't have that with your tarball.

$ git -C submodules/autoconf status
error: le répertoire objet 
/media/develdata/devel/GNULIB/gnulib-git/.git/objects n'existe pas ; vérifiez 
.git/objects/info/alternates
fatal: bad object HEAD
fatal: 'git status --porcelain=2' a échoué dans le sous-module gnulib

$ git submodule init
$ git -C submodules/autoconf status
error: le répertoire objet 
/media/develdata/devel/GNULIB/gnulib-git/.git/objects n'existe pas ; vérifiez 
.git/objects/info/alternates
fatal: bad object HEAD
fatal: 'git status --porcelain=2' a échoué dans le sous-module gnulib

so AFAICT, git submodule init is unable to init a submodule.  Or at least not 
in the sense I would give to "init".

I think the fix is to have bootstrap say

>> Run 'git submodule update --init' and bootstrap again.

instead.

WDYT?