[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 18:35:18 +0200 |
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.
Cheers,
Harm
- Re: GUB with local git-repo?, (continued)
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/07
- 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 <=
- 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
- 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