diff options
| author | Andre Heinecke <[email protected]> | 2024-07-14 03:27:15 +0000 |
|---|---|---|
| committer | Andre Heinecke <[email protected]> | 2024-07-14 03:27:15 +0000 |
| commit | 7a9214b0d41ecf1aacada79a850da05d558320ff (patch) | |
| tree | 384b5a8c4fd00c844c6063d2bd532a8452a5c523 /build-aux | |
| parent | speedo: Use nproc if available for make jobs (diff) | |
| download | gnupg-7a9214b0d41ecf1aacada79a850da05d558320ff.tar.gz gnupg-7a9214b0d41ecf1aacada79a850da05d558320ff.zip | |
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.
Diffstat (limited to 'build-aux')
| -rw-r--r-- | build-aux/speedo.mk | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/build-aux/speedo.mk b/build-aux/speedo.mk index 761f7c070..f3abc16c1 100644 --- a/build-aux/speedo.mk +++ b/build-aux/speedo.mk @@ -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 |