From 7a9214b0d41ecf1aacada79a850da05d558320ff Mon Sep 17 00:00:00 2001
From: Andre Heinecke <aheinecke@gnupg.org>
Date: Sun, 14 Jul 2024 05:27:15 +0200
Subject: [PATCH] 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.
---
 build-aux/speedo.mk | 7 +++++--
 1 file 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