diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-08-29 10:38:32 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-29 10:38:32 +0200 |
| commit | 80e6baaef710ccafa4c59e4132155ddd1a531254 (patch) | |
| tree | 1611d07d0a5ee9f9677b9f70c9378fe7cbbd9ff3 /hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment | |
| parent | 5b09425647212a75aca70b42fc5124082999f4ac (diff) | |
| download | jenkins.debian.net-80e6baaef710ccafa4c59e4132155ddd1a531254.tar.xz | |
reproducible: only use disorderfs if it's available
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, 6 insertions, 2 deletions
diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment index da5f86c6..68364908 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment @@ -13,5 +13,9 @@ echo "I: Adding a custom variable just for the fun of it..." >&2 export CAPTURE_ENVIRONMENT="I capture the environment" # use disorderfs, mount it as user -mv /tmp/buildd /tmp/disorderfs -sudo -u pbuilder2 disorderfs /tmp/disorderfs /tmp/buildd +if [ -x /usr/bin/disorderfs ] ; then + mv /tmp/buildd /tmp/disorderfs + sudo -u pbuilder2 disorderfs /tmp/disorderfs /tmp/buildd +else + echo "Warning: disorderfs not available." +fi |