On Mon, Sep 16, 2019 at 02:35:33PM +0000, Antti Kantee wrote: > On 16/09/2019 13:53, Christoph Badura wrote: > >So, should I check the changes to tools/Makefile since your last githubdate > >and figure out which of the additions are really necessary for buildrump.sh > >and exlude the others under TOOL_BUILDRUMP=no instead? > > In my opinion it's enough to investigate only when things break. > Most (all?) of the unnecessary tools' sources aren't present, and > even if they are, accidentally building an extra small tool which > accounts for a fraction of a fraction's fraction of the build time > isn't the end of the world.
Updating tools/Makefile to exclude what was added in the last years but wasn't needed for TOOLS_BUILDRUMP=yes was not that much work. Thanks for reminding me to do it that way. > Can't recall if there was any magic/logic to the order. I don't > really have special love for the branches. They're more like a > well-meaning experiment, and if they get in the way of accomplishing > something, they might as well be removed entirely. Sorting them out was just time consuming because a) githubdate insists on checking out a new repository from github, b) the cvs export taking a long time, and c) the from-scratch builds in the VM taking a long time to. Certainly a) could be sped up. I pushed to my repos to github and the Travis build of buildrump.sh succeeded an hour ago. Yay! --chris
