From bd75e32059346cf6a588a8a97d5b6270340ed917 Mon Sep 17 00:00:00 2001
From: Jernej Jakob <jernej.jakob@gmail.com>
Date: Wed, 11 Dec 2019 20:24:15 +0100
Subject: T1892: docker: add missing unzip dependency

---
 docker/Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'docker')

diff --git a/docker/Dockerfile b/docker/Dockerfile
index d8c8abe5..c5926709 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -83,7 +83,8 @@ RUN apt-get update && apt-get install -y \
 #
 RUN apt-get update && apt-get install -y \
       libffi-dev \
-      libpcre3-dev
+      libpcre3-dev \
+      unzip
 
 RUN curl https://raw.githubusercontent.com/ocaml/opam/2.0.2/shell/install.sh \
       --output /tmp/opam_install.sh --retry 10 --retry-delay 5 && \
-- 
cgit v1.2.3