From e4607d2b219b84fa5ab0a0a4474375ad1f949aee Mon Sep 17 00:00:00 2001 From: Jean-Paul Calderone Date: Wed, 3 Apr 2019 13:37:59 -0400 Subject: [PATCH] Actually checking it in might help --- .circleci/Dockerfile.debian-9 | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .circleci/Dockerfile.debian-9 diff --git a/.circleci/Dockerfile.debian-9 b/.circleci/Dockerfile.debian-9 new file mode 100644 index 000000000..e7656a653 --- /dev/null +++ b/.circleci/Dockerfile.debian-9 @@ -0,0 +1,3 @@ +FROM debian:9 + +RUN apt-get --quiet update && apt-get --quiet --yes install git