diff options
| author | Michael Forney <mforney@mforney.org> | 2019-06-10 01:02:57 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2019-06-10 01:02:57 -0700 |
| commit | b008bcab61a7ba82b35af326b4ba3844166647d3 (patch) | |
| tree | 3494b4fa797242047c2eb5606813bdfb2a7e1dcf | |
| parent | 72a0cba922b7ec54e2a0d325c9b0f7b5b23e4548 (diff) | |
Add sets.devel to docker image
| -rw-r--r-- | docker/config.lua | 2 |
1 files changed, 1 insertions, 1 deletions
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$'}, }, }, |