ci: use https URL in git clone command

Change-Id: I35c7ffa2e03957084b74c2db183780a70b5aab27
This commit is contained in:
Davide Pesavento committed 2020-03-31 23:16:55 -04:00
1 parent d8398820f1
commit fce3963fc0
1 file changed
+1 -1
+1 -1
View File
@@ -18,7 +18,7 @@ if [[ -z $INSTALLED_VERSION ]]; then
fi
sudo rm -rf ndn-cxx-latest
git clone --depth 1 git://github.com/named-data/ndn-cxx ndn-cxx-latest
git clone --depth 1 https://github.com/named-data/ndn-cxx.git ndn-cxx-latest
LATEST_VERSION=$(git -C ndn-cxx-latest rev-parse HEAD 2>/dev/null || echo UNKNOWN)
if [[ $INSTALLED_VERSION != $LATEST_VERSION ]]; then