Thomas Morley <thomasmorle...@gmail.com> writes: > Am Mo., 6. Apr. 2020 um 17:18 Uhr schrieb Thomas Morley > <thomasmorle...@gmail.com>: > >> 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