From c1af738c0c4e7ab90fbe0f52952db379d8fe1ca6 Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Tue, 26 May 2020 10:42:11 -0400
Subject: [PATCH] Gotta have curl installed...

---
 .circleci/report-coverage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/report-coverage.sh b/.circleci/report-coverage.sh
index 935ffb2..d7f8c24 100755
--- a/.circleci/report-coverage.sh
+++ b/.circleci/report-coverage.sh
@@ -1,5 +1,5 @@
 #! /usr/bin/env nix-shell
-#! nix-shell -i bash -p "python.withPackages (ps: [ ps.coverage ])"
+#! nix-shell -i bash -p "curl" -p "python.withPackages (ps: [ ps.coverage ])"
 set -x
 find ./result-doc/share/doc
 cp ./result-doc/share/doc/*/.coverage.* ./
-- 
GitLab