diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-09-23 00:27:29 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-09-23 00:27:29 +0200 |
| commit | b2af898af134153bb1b6a9da96693a4092a896ca (patch) | |
| tree | 6c97b90592628468623b850e5d33ed31f89c75a0 /hosts/hb0-armhf-rb/etc/pbuilder | |
| parent | eb4df47512bd74b06686f841edded7cf23b16d70 (diff) | |
| download | jenkins.debian.net-b2af898af134153bb1b6a9da96693a4092a896ca.tar.xz | |
reproducible: use disorderfs on every 2nd build
Diffstat (limited to 'hosts/hb0-armhf-rb/etc/pbuilder')
3 files changed, 6 insertions, 0 deletions
diff --git a/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/B01_cleanup b/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/B01_cleanup index 36a19bc9..c60a991c 100755 --- a/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/B01_cleanup +++ b/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/B01_cleanup @@ -7,7 +7,9 @@ set -e # cease using disorderfs if [ -d /tmp/disorderfs ] ; then + echo -n "Unmounting /tmp/disorderfs…" fusermount -u /tmp/buildd rmdir /tmp/buildd mv /tmp/disorderfs /tmp/buildd + echo " done." fi diff --git a/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/C01_cleanup b/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/C01_cleanup index 36a19bc9..c60a991c 100755 --- a/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/C01_cleanup +++ b/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/C01_cleanup @@ -7,7 +7,9 @@ set -e # cease using disorderfs if [ -d /tmp/disorderfs ] ; then + echo -n "Unmounting /tmp/disorderfs…" fusermount -u /tmp/buildd rmdir /tmp/buildd mv /tmp/disorderfs /tmp/buildd + echo " done." fi diff --git a/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/D01_modify_environment b/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/D01_modify_environment index aed8d9ab..06979737 100755 --- a/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/D01_modify_environment +++ b/hosts/hb0-armhf-rb/etc/pbuilder/rebuild-hooks/D01_modify_environment @@ -14,10 +14,12 @@ export CAPTURE_ENVIRONMENT="I capture the environment" # use disorderfs if [ -x /usr/bin/disorderfs ] ; then + echo -n "Moving /tmp/buildd to /tmp/disorderfs and mounting this as /tmp/buildd via the fuse disorderfs…" mknod -m 666 /dev/fuse c 10 229 mv /tmp/buildd /tmp/disorderfs mkdir /tmp/buildd disorderfs --multi-user=yes /tmp/disorderfs /tmp/buildd + echo " done." else echo "Warning: disorderfs not available." fi |