Commit 90abd5de authored by Tails developers's avatar Tails developers
Browse files

vagrant: Build documentation before source copy

Building the massive Tails website from scratch takes a while. Instead of doing
so on every build, we do it in the source checkout, before copying the source
to the temporary build tree. As ikiwiki knows how to perform incremental
refresh, this really speeds up subsquent build times.
parent 49200bce
......@@ -37,6 +37,8 @@ git fetch origin
as_root_do git checkout --force "$REV"
as_root_do git reset --hard "$COMMIT"
as_root_do ./build-wiki
BUILD_DIR=$(mktemp -d /home/vagrant/tails-build.XXXXXXXX)
if [ "$TAILS_RAM_BUILD" ]; then
trap "cd / ; sudo umount '$BUILD_DIR' ; sudo rmdir '$BUILD_DIR'" EXIT
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment