summaryrefslogtreecommitdiffstats
path: root/vagrant
diff options
context:
space:
mode:
authorintrigeri <intrigeri@boum.org>2018-01-05 10:10:14 +0000
committerintrigeri <intrigeri@boum.org>2018-01-05 10:18:36 +0000
commitf976a97a50764e47315c8c483175d1c48566a9aa (patch)
tree0d68648d64646ed310be06a61c347d6bfe1e4e8b /vagrant
parent9a05d9124e61c6c46c994a56d1dcd2bd69497b95 (diff)
Rename variable (APT_SNAPSHOT_SERIAL → APT_SNAPSHOT_SERIALS): it now includes multiple serials (refs: #15107).
Diffstat (limited to 'vagrant')
-rwxr-xr-xvagrant/provision/assets/build-tails2
1 files changed, 1 insertions, 1 deletions
diff --git a/vagrant/provision/assets/build-tails b/vagrant/provision/assets/build-tails
index 8ce6c1c..cc0193d 100755
--- a/vagrant/provision/assets/build-tails
+++ b/vagrant/provision/assets/build-tails
@@ -15,7 +15,7 @@ as_root_do() {
${ftp_proxy:+ftp_proxy="${ftp_proxy}"} \
${no_proxy:+no_proxy="${no_proxy}"} \
${MKSQUASHFS_OPTIONS:+MKSQUASHFS_OPTIONS="${MKSQUASHFS_OPTIONS}"} \
- ${APT_SNAPSHOT_SERIAL:+APT_SNAPSHOT_SERIAL="${APT_SNAPSHOT_SERIAL}"} \
+ ${APT_SNAPSHOT_SERIALS:+APT_SNAPSHOT_SERIALS="${APT_SNAPSHOT_SERIALS}"} \
${TAILS_MERGE_BASE_BRANCH:+TAILS_MERGE_BASE_BRANCH="${TAILS_MERGE_BASE_BRANCH}"} \
${GIT_COMMIT:+GIT_COMMIT="${GIT_COMMIT}"} \
${GIT_REF:+GIT_REF="${GIT_REF}"} \