diff options
| author | Michael Forney <mforney@mforney.org> | 2019-11-04 18:59:22 -0800 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2019-11-04 19:01:18 -0800 |
| commit | 09cb647879b12dd8fee8a220dc2609e55bb0731d (patch) | |
| tree | 966d1514fe496bd67df89d8f1d7f6be16b48601d /docker/config.lua | |
| parent | e41789f435b31a4fd143f784b189317bfcb6bac4 (diff) | |
Remove unused Dockerfile
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}, -} |