[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 20:43:55 +0200 |
Am Di., 11. Juni 2019 um 18:35 Uhr schrieb Thomas Morley
<address@hidden>:
>
> Am Di., 11. Juni 2019 um 17:57 Uhr schrieb Thomas Morley
> <address@hidden>:
>
> > Just for fun I then tried to go for
> > https://github.com/lilypond/lilypond
> > a repository once set up by Janek.
> > ~/gub (master)$ make
> > LILYPOND_REPO_URL=https://github.com/lilypond/lilypond.git lilypond
> > =>
> [...]
> > make: *** [lilypond] Error 2
>
> Probably I should have done:
> LILYPOND_REPO_URL=git://github.com/lilypond/lilypond.git
> Note the git:// instead of https://
> At least it errors not immediately. I'll report later.
Build failed because of
https://sourceforge.net/p/testlilyissues/issues/5526/
which is fixed in master of our official repo.
Cheers,
Harm
- Re: GUB with local git-repo?, (continued)
- Re: GUB with local git-repo?, Phil Holmes, 2019/06/07
- Re: GUB with local git-repo?, David Kastrup, 2019/06/07
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/08
- 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 <=
- 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
- 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