diff options
-rw-r--r-- | etc/schroot/default/fstab | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/schroot/default/fstab b/etc/schroot/default/fstab index 7f51492b..082a0b64 100644 --- a/etc/schroot/default/fstab +++ b/etc/schroot/default/fstab @@ -8,7 +8,7 @@ /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 +/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 |