From 3138d45219ebf21f9ebde374cea803d3b0ef3f32 Mon Sep 17 00:00:00 2001 From: Marvin Schmidt Date: Sun, 7 Oct 2018 10:59:59 +0200 Subject: Improve CI setup --- ci/docker/gentoo/paludis-gentoo/config/package.mask | 1 + 1 file changed, 1 insertion(+) create mode 100644 ci/docker/gentoo/paludis-gentoo/config/package.mask (limited to 'ci/docker/gentoo/paludis-gentoo/config/package.mask') diff --git a/ci/docker/gentoo/paludis-gentoo/config/package.mask b/ci/docker/gentoo/paludis-gentoo/config/package.mask new file mode 100644 index 000000000..1e5cf13ad --- /dev/null +++ b/ci/docker/gentoo/paludis-gentoo/config/package.mask @@ -0,0 +1 @@ +>=dev-libs/boost-1.65 -- cgit v1.2.3