[3party] Do not recompile boost

Signed-off-by: x7z4w <x7z4w@noreply.codeberg.org>
This commit is contained in:
x7z4w
2025-07-30 14:16:53 +00:00
committed by Yannik Bloscheck
parent e50a668feb
commit c6439aaa82

View File

@@ -35,10 +35,12 @@ echo "Configuring the repository for development."
if [ ! -d 3party/boost/tools ]; then
git submodule update --init --recursive --depth 1
fi
if [ ! -d 3party/boost/boost ]; then
pushd 3party/boost/
./bootstrap.sh
./b2 headers
popd
fi
if [ "$SKIP_MAP_DOWNLOAD" = false ]; then
echo "Downloading world map..."