From b008bcab61a7ba82b35af326b4ba3844166647d3 Mon Sep 17 00:00:00 2001 From: Michael Forney Date: Mon, 10 Jun 2019 01:02:57 -0700 Subject: Add sets.devel to docker image --- docker/config.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docker/config.lua') diff --git a/docker/config.lua b/docker/config.lua index 21774e42..68b7f15b 100644 --- a/docker/config.lua +++ b/docker/config.lua @@ -3,7 +3,7 @@ return { builddir='out', fs={ { - sets.core, sets.extra, sets.desktop, sets.media, + sets.core, sets.extra, sets.desktop, sets.devel, sets.media, exclude={'^include/', '^lib/.*%.a$'}, }, }, -- cgit v1.2.3