Loading tools/max.sh +1 −1 Original line number Diff line number Diff line Loading @@ -73,7 +73,7 @@ install_jar_in_libs(){ if [ ! -f $d/$jar_name ] then echo "Downloading jar "$jar_url curl --silent -O $jar_url curl --silent -k -O $jar_url ret_code=$? if [ $ret_code -gt 0 ] then Loading tools/test-deploy.sh +1 −1 Original line number Diff line number Diff line Loading @@ -21,7 +21,7 @@ git clone git@git.unicaen.fr:pdn-certic/MaX.git #curl basex 9.5 basex_zip=`basename $BASEX_URL` curl --silent -O $BASEX_URL curl --silent -k -O $BASEX_URL unzip $basex_zip rm -rf $basex_zip Loading Loading
tools/max.sh +1 −1 Original line number Diff line number Diff line Loading @@ -73,7 +73,7 @@ install_jar_in_libs(){ if [ ! -f $d/$jar_name ] then echo "Downloading jar "$jar_url curl --silent -O $jar_url curl --silent -k -O $jar_url ret_code=$? if [ $ret_code -gt 0 ] then Loading
tools/test-deploy.sh +1 −1 Original line number Diff line number Diff line Loading @@ -21,7 +21,7 @@ git clone git@git.unicaen.fr:pdn-certic/MaX.git #curl basex 9.5 basex_zip=`basename $BASEX_URL` curl --silent -O $BASEX_URL curl --silent -k -O $BASEX_URL unzip $basex_zip rm -rf $basex_zip Loading