diff --git a/install/43_covertool.sh b/install/43_covertool.sh old mode 100644 new mode 100755 index 4acf6838473ad2e163f24607f14404cdbc595ab2..e07dd7cf2b2a26e429df82fce5f68dbd7d4f1447 --- a/install/43_covertool.sh +++ b/install/43_covertool.sh @@ -7,7 +7,7 @@ set -e # Exit on errors cd $JENKINS_HOME/tools -git clone git@github.com:idubrov/covertool.git +git clone git://github.com/idubrov/covertool.git cd covertool rebar -r update-deps compile escriptize mkdir bin