diff options
author | Daniel Silverstone <daniel.silverstone@codethink.co.uk> | 2014-03-31 11:05:45 +0300 |
---|---|---|
committer | Daniel Silverstone <daniel.silverstone@codethink.co.uk> | 2014-03-31 11:07:08 +0300 |
commit | 0fbcc80442b42b7a785e4cbb1fabea044094441f (patch) | |
tree | a0df73fed7eac74f38a801c1b623ef740449cec9 /manage-baserock | |
parent | ef5aba9e7a2470055c01cc53f98b5bab79e60d28 (diff) | |
download | baserock-chroot-0fbcc80442b42b7a785e4cbb1fabea044094441f.tar.gz |
Enable shared /src
This adds a shared /src mounted from /opt/baserock/src
This allows chroots to share /src and also provides a persistent
src space in the face of adding and removing chroots.
Signed-off-by: Daniel Silverstone <daniel.silverstone@codethink.co.uk>
Reviewed-by: Sam Thursfield <sam.thursfield@codethink.co.uk>
Diffstat (limited to 'manage-baserock')
-rwxr-xr-x | manage-baserock | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/manage-baserock b/manage-baserock index d45a6b2..c878d18 100755 --- a/manage-baserock +++ b/manage-baserock @@ -100,6 +100,10 @@ EOF EOF fi + if ! test -d "${BASEROCK_BASE}/${SYSTEM}/src"; then + mkdir "${BASEROCK_BASE}/${SYSTEM}/src" + fi + br-ct-sync-chroots ;; |