From e695acaa7d73fa889515d0ba6d9266aa4caf8189 Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@irsamc.ups-tlse.fr>
Date: Tue, 26 Jan 2016 15:41:21 +0100
Subject: [PATCH] Issue #1

---
 install/scripts/install_ninja.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install/scripts/install_ninja.sh b/install/scripts/install_ninja.sh
index 0525c22..ef6e1ed 100755
--- a/install/scripts/install_ninja.sh
+++ b/install/scripts/install_ninja.sh
@@ -4,7 +4,7 @@ set -u
 set -e
 
 TARGET=ninja
-URL="http://github.com/martine/ninja/archive/v1.5.3.tar.gz"
+URL="https://github.com/martine/ninja/archive/v1.5.3.tar.gz"
 
 function _install()
 {
@@ -20,7 +20,7 @@ function _install()
 
 if [[ ! -f "Downloads/${TARGET}.tar.gz" ]]
 then
-  wget ${URL} -O "Downloads/${TARGET}.tar.gz.tmp" 
+  wget --no-check-certificate ${URL} -O "Downloads/${TARGET}.tar.gz.tmp" 
   mv "Downloads/${TARGET}.tar.gz"{.tmp,} 
 fi
 source scripts/build.sh