[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUB with local git-repo?
From: |
Thomas Morley |
Subject: |
Re: GUB with local git-repo? |
Date: |
Tue, 11 Jun 2019 16:57:09 +0200 |
Am Sa., 8. Juni 2019 um 13:10 Uhr schrieb Phil Holmes <address@hidden>:
> I think David is suggesting it's strange that GUB can only use the Savannah
> repo, not any git repo of your choice. TBH I'm not sure whether it's a
> configuration item or hard wired into the GUB code.
Before really trying to go for some custom-gub-build, I thought it
might be a good idea to check whether the "normal" procedure still
works.
After some preparatory work before each try (mostly following CG), i.e.:
- get correct regtest
- delete gub/uploads
- delete all mentions of LilyPond in gub/target with 'rm -rf
target/*/*/*lilypond*'
both,
'make lilypond'
'make LILYPOND_BRANCH=stable/2.20 lilypond'
succeeded.
> For me, an even bigger
> problem is that GUB only does partial builds from master, not a branch of
> choise.
Here I don't understand. Obviously my second attempt used 'stable/2.20
lilypond' (which gave me 2.19.83) not master (which gave me 2.21.0)
Is this different for you?
Or do you mean something else?
Cheers,
Harm
- Re: GUB with local git-repo?, (continued)
- Re: GUB with local git-repo?, Phil Holmes, 2019/06/08
- Re: GUB with local git-repo?, Federico Bruni, 2019/06/09
- Re: GUB with local git-repo?, David Kastrup, 2019/06/09
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, David Kastrup, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, David Kastrup, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?,
Thomas Morley <=
- Message not available
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
Re: GUB with local git-repo?, Knut Petersen, 2019/06/13
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/16
- Re: GUB with local git-repo?, Knut Petersen, 2019/06/16
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/18
- Re: GUB with local git-repo?, Knut Petersen, 2019/06/18
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/20
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/20
- Re: GUB with local git-repo?, Knut Petersen, 2019/06/24