summaryrefslogtreecommitdiffstats
path: root/vagrant
diff options
context:
space:
mode:
authorintrigeri <intrigeri@boum.org>2017-11-10 15:49:56 +0000
committerintrigeri <intrigeri@boum.org>2017-11-10 17:34:07 +0000
commit0c043dbf7432ce9360a9344d41865b34e3dfe3a0 (patch)
tree47d03b2a900c6676dddddc476fb8223c457dd52d /vagrant
parent0a484302869c14914c6b6084c8d76ea14945205e (diff)
Fix reproducibility of builds of topic branches that lag behind their base branch with the mergebasebranch build option enabled (refs: #14946)
Two otherwise identical merge commits done at different times get different IDs, and we happen to embed in the ISO the ID of the commit we're building from.
Diffstat (limited to 'vagrant')
-rwxr-xr-xvagrant/definitions/tails-builder/postinstall.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/vagrant/definitions/tails-builder/postinstall.sh b/vagrant/definitions/tails-builder/postinstall.sh
index b9b4066..a0ab2e5 100755
--- a/vagrant/definitions/tails-builder/postinstall.sh
+++ b/vagrant/definitions/tails-builder/postinstall.sh
@@ -74,6 +74,7 @@ apt-get -y install \
debootstrap \
dpkg-dev \
eatmydata \
+ faketime \
gettext \
git \
ikiwiki \