mirror of
git://git.gnupg.org/gnupg.git
synced 2024-12-22 10:19:57 +01:00
speedo: Use remote gitrep if local does not exist
* build-aux/speedo.mk (gitrep): If the local path is not a directory. Use the remote repo as fallback.
This commit is contained in:
parent
23df03faa0
commit
7a9214b0d4
@ -400,8 +400,11 @@ gettext_ver = 0.18.2.1
|
||||
|
||||
|
||||
# The GIT repository. Using a local repo is much faster.
|
||||
#gitrep = git://git.gnupg.org
|
||||
gitrep = ${HOME}/s
|
||||
ifeq ($(shell [ -d ${HOME}/s ] && echo yes),yes)
|
||||
gitrep = ${HOME}/s
|
||||
else
|
||||
gitrep = git://git.gnupg.org
|
||||
endif
|
||||
|
||||
# The tarball directories
|
||||
pkgrep = https://gnupg.org/ftp/gcrypt
|
||||
|
Loading…
x
Reference in New Issue
Block a user