Re: *.bci missing

[Taylor R Campbell]

> Date: Wed, 29 Apr 2020 23:46:40 -0700
> From: "Arthur A. Gleckler" <address@hidden>
> 
> *.bci files aren't installed when I do make install (sudo make install, in
> fact).  I see bug 33898 <http://savannah.gnu.org/bugs/?33898>, which
> reports that they aren't installed, but in my case, they don't even seem to
> have been generated, at least not in the directories where install expects
> them, e.g. ~/mit-scheme/src/runtime.  There are *.bci files under
> src/tools/runtime/, though.  Is this because I built with
> --enable-cross-compiling?  I'd love to have debugging information for
> compiled code again.

git pull and try again?