diff options
Diffstat (limited to 'hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment')
| -rwxr-xr-x | hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment index 52862f16..318390c5 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment @@ -17,11 +17,11 @@ 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…" + echo -n "Moving "$BUILDDIR" to /tmp/disorderfs and mounting this as "$BUILDDIR" 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 + mv "$BUILDDIR" /tmp/disorderfs + mkdir "$BUILDDIR" + disorderfs --multi-user=yes /tmp/disorderfs "$BUILDDIR" echo " done." else echo "Warning: disorderfs not available." |