From 09cb647879b12dd8fee8a220dc2609e55bb0731d Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Mon, 4 Nov 2019 18:59:22 -0800
Subject: Remove unused Dockerfile

---
 docker/config.lua | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 docker/config.lua

(limited to 'docker/config.lua')

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},
-}
-- 
cgit v1.2.3