Merge pull request #35 from ezarko/corp-proxy

Update git clone for corporate firewalls
This commit is contained in:
Gorka Lerchundi Osa
2016-03-11 11:20:31 +01:00
+1 -1
View File
@@ -95,7 +95,7 @@ build_install_skarnet_package() {
cd "$BUILDDIR"
git clone git://git.skarnet.org/${package}
git clone https://github.com/skarnet/${package}.git
cd ${package}
if [[ ${version} =~ ^[0-9]+\.[0-9]+\.[0-9]+\.[0-9]+$ ]]; then
version=$(git rev-list -n 1 v${version})