From 62bdcc5e40f7352a38da95b9a3aa5a847b641200 Mon Sep 17 00:00:00 2001
From: Dan Guest <dguest@cern.ch>
Date: Fri, 1 May 2020 20:56:58 +0200
Subject: [PATCH] Support ancient version of git
Apparently 'git remote get-url' is a relatively new addition to the library,
in that it was added in the last 5 years. This moves to something that was
supported in git 1.8 as well.
---
Build/AtlasBuildScripts/checkout_atlasexternals.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Build/AtlasBuildScripts/checkout_atlasexternals.sh b/Build/AtlasBuildScripts/checkout_atlasexternals.sh
index 0fa33c4f566..b0857902590 100755
--- a/Build/AtlasBuildScripts/checkout_atlasexternals.sh
+++ b/Build/AtlasBuildScripts/checkout_atlasexternals.sh
@@ -111,9 +111,9 @@ fi
# check whether the source directory points to the right repository
RECLONE=false
pushd ${SOURCEDIR}
-SOURCEURL=$(git remote get-url origin)
+SOURCEURL=$(git ls-remote --get-url origin)
if [ "${SOURCEURL}" != "${EXTERNALSURL}" ] ; then
- echo "${SOURCEURL} wasn't cloned from ${EXTERNALSURL}, deleting"
+ echo "checkout_externals: Warning! ${SOURCEURL} wasn't cloned from ${EXTERNALSURL}, deleting"
RECLONE=true
fi
popd
--
GitLab