summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoranonym <anonym@riseup.net>2016-02-20 21:19:57 +0100
committeranonym <anonym@riseup.net>2016-03-08 03:13:09 +0100
commitc023417ad9d0048f793b2dbdfed589aeabab96d6 (patch)
tree1d8ae3f3da0cedc192d7f3d230f2c190697110bb
parentf34a85b5188b5a2b32f1a72f19f66555bfb889f6 (diff)
Initialize submodules when recreating the Git directory in Vagrant.feature/11198-python-scripting
... and Jenkins.
-rwxr-xr-xvagrant/provision/assets/build-tails3
1 files changed, 2 insertions, 1 deletions
diff --git a/vagrant/provision/assets/build-tails b/vagrant/provision/assets/build-tails
index 62b1a18..faa7fbc 100755
--- a/vagrant/provision/assets/build-tails
+++ b/vagrant/provision/assets/build-tails
@@ -72,7 +72,7 @@ else
exit 1
fi
fi
- test -d "$WORKSPACE" || git clone /amnesia.git "$WORKSPACE"
+ test -d "$WORKSPACE" || git clone --recurse-submodules /amnesia.git "$WORKSPACE"
cd "$WORKSPACE"
git fetch origin
fi
@@ -84,6 +84,7 @@ fi
cd "$WORKSPACE"
git checkout --force "$REV"
git reset --hard "$COMMIT"
+git submodule update --init
if [ -n "$JENKINS_URL" ]; then
git clean --force -d -x