diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2017-08-02 17:03:03 -0400 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-08-03 16:22:39 -0400 |
| commit | 4c5ea6af7385064575531b1572c9bebf999b005d (patch) | |
| tree | c8528a53c4157d3e5b945149e887f5eaf117a247 /hosts/jtx1b-armhf-rb/etc/schroot/default | |
| parent | 34c1dd358e6879664f12703ccdcd1e88f11854b1 (diff) | |
| download | jenkins.debian.net-4c5ea6af7385064575531b1572c9bebf999b005d.tar.xz | |
reproducible: Add two new armhf builders (jtk1b, jtx1b).
Temporarily disable two armhf build nodes (jtk1a down, ff64a too
slow).
Add an additional build job, as the new machines have more capacity
than the old.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jtx1b-armhf-rb/etc/schroot/default')
| -rw-r--r-- | hosts/jtx1b-armhf-rb/etc/schroot/default/fstab | 24 | ||||
| -rw-r--r-- | hosts/jtx1b-armhf-rb/etc/schroot/default/nssdatabases | 11 |
2 files changed, 35 insertions, 0 deletions
diff --git a/hosts/jtx1b-armhf-rb/etc/schroot/default/fstab b/hosts/jtx1b-armhf-rb/etc/schroot/default/fstab new file mode 100644 index 00000000..74468dd2 --- /dev/null +++ b/hosts/jtx1b-armhf-rb/etc/schroot/default/fstab @@ -0,0 +1,24 @@ +# fstab: static file system information for chroots. +# Note that the mount point will be prefixed by the chroot path +# (CHROOT_PATH) +# +# <file system> <mount point> <type> <options> <dump> <pass> +/proc /proc none rw,bind 0 0 +/sys /sys none rw,bind 0 0 +/dev /dev none rw,bind 0 0 +/dev/pts /dev/pts none rw,bind 0 0 +/home /home none rw,bind 0 0 +/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 +/srv/live-build /srv/live-build 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 +# may potentially cause undesirable behaviour on upgrades, such as +# killing services on the host. +#/run /run none rw,bind 0 0 +#/run/lock /run/lock none rw,bind 0 0 +/dev/shm /dev/shm none rw,bind 0 0 +/run/shm /run/shm none rw,bind 0 0 diff --git a/hosts/jtx1b-armhf-rb/etc/schroot/default/nssdatabases b/hosts/jtx1b-armhf-rb/etc/schroot/default/nssdatabases new file mode 100644 index 00000000..72615e5d --- /dev/null +++ b/hosts/jtx1b-armhf-rb/etc/schroot/default/nssdatabases @@ -0,0 +1,11 @@ +# System databases to copy into the chroot from the host system. +# +# <database name> +passwd +shadow +group +gshadow +#services +protocols +networks +hosts |