diff options
Diffstat (limited to 'docker/config.lua')
| -rw-r--r-- | docker/config.lua | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/docker/config.lua b/docker/config.lua deleted file mode 100644 index de182243..00000000 --- a/docker/config.lua +++ /dev/null @@ -1,14 +0,0 @@ -local sets = dofile 'sets.lua' -return { - builddir='out', - fs={ - { - sets.core, sets.extra, sets.desktop, sets.devel, sets.media, - exclude={'^include/', '^lib/.*%.a$'}, - }, - }, - target={toolchain='default', cflags='-O2 -pipe -U _FORTIFY_SOURCE', ldflags='-s -static', pie=true}, - host={toolchain='default', cflags='-O2 -pipe', ldflags='-s'}, - repo={path='$builddir/root.git', flags='--bare', tag='tree', branch='oasis'}, - video_drivers={intel=true, nouveau=true}, -} |