From c6439aaa826b60d694e51467c0262732f89b7c31 Mon Sep 17 00:00:00 2001 From: x7z4w Date: Wed, 30 Jul 2025 14:16:53 +0000 Subject: [PATCH] [3party] Do not recompile boost Signed-off-by: x7z4w --- configure.sh | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/configure.sh b/configure.sh index 3bad7e384..d7ec5271c 100755 --- a/configure.sh +++ b/configure.sh @@ -35,10 +35,12 @@ echo "Configuring the repository for development." if [ ! -d 3party/boost/tools ]; then git submodule update --init --recursive --depth 1 fi -pushd 3party/boost/ -./bootstrap.sh -./b2 headers -popd +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..."