diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-01-01 14:08:13 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-01-01 14:08:13 +0100 |
commit | c4ba5410ed03e0fe0fb2ff6b72d03f69f503748a (patch) | |
tree | 439b00f2b82ed2b43cf62c721d716b2f5167bace /etc/schroot | |
parent | 5f37d8e0de059aa899422eaf6f9e82fe9694766b (diff) | |
download | jenkins.debian.net-c4ba5410ed03e0fe0fb2ff6b72d03f69f503748a.tar.xz |
also mount /srv/jenkins inside the schroots
Diffstat (limited to 'etc/schroot')
-rw-r--r-- | etc/schroot/default/fstab | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/schroot/default/fstab b/etc/schroot/default/fstab index 11b8398f..d37ccb83 100644 --- a/etc/schroot/default/fstab +++ b/etc/schroot/default/fstab @@ -11,6 +11,8 @@ #/tmp /tmp none rw,bind 0 0 /srv/reproducible-results /srv/reproducible-results none rw,bind 0 0 /srv/d-i /srv/d-i none rw,bind 0 0 +/srv/jenkins /srv/jenkins none rw,bind 0 0 + # It may be desirable to have access to /run, especially if you wish # to run additional services in the chroot. However, note that this |