diff options
Diffstat (limited to 'hosts/jenkins')
| -rwxr-xr-x | hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment index 06979737..52862f16 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment @@ -12,6 +12,9 @@ domainname i-capture-the-domain echo "I: Adding a custom variable just for the fun of it..." >&2 export CAPTURE_ENVIRONMENT="I capture the environment" +# temporarily disable disorderfs as we have problems properly unmounting it +exit 0 + # 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…" |