diff --git a/Build/AtlasBuildScripts/checkout_atlasexternals.sh b/Build/AtlasBuildScripts/checkout_atlasexternals.sh index 0fa33c4f5661dfd04c4a2b8c28e5de65c7ca5dfd..b0857902590482264f5f64946434baa8281085ad 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