Re: GUB failure

[Thomas Morley]

Am Di., 7. Apr. 2020 um 09:50 Uhr schrieb David Kastrup <address@hidden>:
>
> Thomas Morley <address@hidden> writes:
>
> > Am Mo., 6. Apr. 2020 um 17:18 Uhr schrieb Thomas Morley
> > <address@hidden>:
> >
> >> I'll test GUB with current master on my Ubuntu 18.04, though results
> >> likely tomorrow...
> >
> > FWIW, on my 64-bit Ubunu 18.04, I tried to gub-build release/unstable
> >
> > (1) gubllb /home/hermann/gub/ /home/hermann/lilypond-git/ release/unstable
> > i.e. using Knut's script to build from my local repository
> >
> > Failed with: FileNotFoundError: [Errno 2] No such file or directory:
> > 'book_base.py'
>
> The question is whether we wait for a followup issue to fix the problem,
> or just revert the problematic commit for now.  I lean towards the
> latter, to be honest.
>
> --
> David Kastrup

Well, I'd test it locally.

Though, the naive
git revert fa1ec0c100859f7490f524870743f03b54f89ab7

returns

Performing inexact rename detection: 100% (17940/17940), done.
error: could not revert fa1ec0c100... Reduce memory use of lilypond-book
hint: after resolving the conflicts, mark the corrected paths
hint: with 'git add <paths>' or 'git rm <paths>'
hint: and commit the result with 'git commit'

Here I'm running out of knowledge what to do, supposed I identified
the relevant commit  correctly at all.

Cheers,
  Harm