Browse Source

Merge pull request #16 from XPIR-team/feature/dependencies-on-github

Feature/dependencies on GitHub
Carlos Aguilar Melchor 8 years ago
parent
commit
6e62e2e08b
1 changed files with 1 additions and 1 deletions
  1. 1 1
      helper_script.sh

+ 1 - 1
helper_script.sh

@@ -16,7 +16,7 @@
 # *  along with XPIR.  If not, see <http://www.gnu.org/licenses/>.
 #*/
 
-wget http://homepages.laas.fr/~mkilliji/dependencies.tgz
+wget --no-check-certificate https://github.com/XPIR-team/XPIR-dependencies/raw/master/dependencies.tgz
 tar zxf dependencies.tgz
 rm dependencies.tgz
 mkdir local