diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-06-01 09:21:06 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-06-01 11:33:32 +0200 |
| commit | cad6f46843c4949815011c3e437d7afbe4821917 (patch) | |
| tree | 1650d688c4f3ad47529c011f3e14888dca53653a /bin/reproducible_build.sh | |
| parent | 647a1759dead6cb0fce32708c73ffc03c62fbef8 (diff) | |
| download | jenkins.debian.net-cad6f46843c4949815011c3e437d7afbe4821917.tar.xz | |
reproducible debian: vary HOME between builds
This is done by setting the BUILD_HOME pbuilder conf value in the temporary
pbuilderrc, which is then used by pbuilder to set HOME.
Remember that those home directories don't actually exist, as build processes
are not supposed to write to HOME nor rely on that.
Diffstat (limited to 'bin/reproducible_build.sh')
| -rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 57e4edff..8d851966 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -557,6 +557,7 @@ first_build() { cat > "$TMPCFG" << EOF BUILDUSERID=1111 BUILDUSERNAME=pbuilder1 +BUILD_HOME=/nonexistent/first-build export DEB_BUILD_OPTIONS="parallel=$NUM_CPU" export TZ="/usr/share/zoneinfo/Etc/GMT+12" export LANG="C" @@ -606,6 +607,7 @@ second_build() { cat > "$TMPCFG" << EOF BUILDUSERID=2222 BUILDUSERNAME=pbuilder2 +BUILD_HOME=/nonexistent/second-build export DEB_BUILD_OPTIONS="parallel=$NUM_CPU" export TZ="/usr/share/zoneinfo/Etc/GMT-14" export LANG="$locale.UTF-8" |