diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-11-03 03:29:22 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-11-03 03:29:22 +0100 |
commit | 30c8a51c0d775cc67829d26cecfb9cc34d3ebb49 (patch) | |
tree | 85b214c2a6bb74e41ae4a428401d7f5c192a676a /etc/schroot/default | |
parent | 99a055da9d5aaa2f1d0c632b067003d8df32ac6e (diff) | |
download | jenkins.debian.net-30c8a51c0d775cc67829d26cecfb9cc34d3ebb49.tar.xz |
d-i_manual: build in a sid schroot, add two new jobs to maintain said schroot.
Diffstat (limited to 'etc/schroot/default')
-rw-r--r-- | etc/schroot/default/fstab | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/schroot/default/fstab b/etc/schroot/default/fstab index e54d0fb4..11b8398f 100644 --- a/etc/schroot/default/fstab +++ b/etc/schroot/default/fstab @@ -9,7 +9,8 @@ /dev/pts /dev/pts none rw,bind 0 0 /home /home none rw,bind 0 0 #/tmp /tmp none rw,bind 0 0 -/srv /srv 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 # It may be desirable to have access to /run, especially if you wish # to run additional services in the chroot. However, note that this |