From a633b0cba313981105dabc8f93eb8d3e147e3b5c Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <japaricious@gmail.com>
Date: Mon, 8 Aug 2016 21:20:46 -0500
Subject: [PATCH] install curl inside docker

---
 ci/install.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ci/install.sh b/ci/install.sh
index 69f6ebc..3c87ddb 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -2,6 +2,13 @@ set -ex
 
 . $(dirname $0)/env.sh
 
+install_deps() {
+    if [[ ${DOCKER} == "y" ]]; then
+        apt-get install -y --no-install-recommends \
+                ca-certificates curl
+    fi
+}
+
 install_qemu() {
     case $TARGET in
         powerpc64-unknown-linux-gnu)
@@ -63,6 +70,7 @@ EOF
 
 main() {
     if [[ ${DOCKER:-n} != "y" ]]; then
+        install_deps
         install_qemu
         install_binutils
         install_c_toolchain