From aaee9e0244f953e8076037c32ed31207dd378f5d Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Tue, 23 Jan 2018 14:17:19 +0100
Subject: Add a local lib directory

This allows people to mount their local directory to
/opt/clean/lib/Local and import the files from it. This can be extended
to allow more mounting in /opt/clean/lib and let the clm command import
all directories from there but not with this commit.
---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Dockerfile')

diff --git a/Dockerfile b/Dockerfile
index 7a48307..62e4d1f 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,6 +11,7 @@ RUN ./make_abc.sh \
 	&& apt-get update -qq \
 	&& apt-get install -qq $PACKAGES --no-install-recommends \
 	&& make -B \
+	&& mkdir -p /opt/clean/lib/Local \
 	&& rm -rf \
 		Clean\ System\ Files \
 		CleanReadLine \
-- 
cgit v1.2.3