From 9f4bf26b9d1d2da144ab958f225c0e5b2a2b403b Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sun, 2 Jul 2017 10:17:46 +0530
Subject: [PATCH] Dont mute curl on the unix ci server

---
 setup/unix-ci.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup/unix-ci.py b/setup/unix-ci.py
index 4c7d09f8da..6d046bb0f8 100644
--- a/setup/unix-ci.py
+++ b/setup/unix-ci.py
@@ -70,7 +70,7 @@ def download_and_decompress(url, dest, compression=None):
     for i in range(5):
         print('Downloading', url, '...')
         with NamedTemporaryFile() as f:
-            ret = subprocess.Popen(['curl', '-fSsL', url], stdout=f).wait()
+            ret = subprocess.Popen(['curl', '-fSL', url], stdout=f).wait()
             if ret == 0:
                 decompress(f.name, dest, compression)
                 return