From ef930635de780487a3149477a40efa1072d8768e Mon Sep 17 00:00:00 2001 From: Jason Volk Date: Fri, 24 Mar 2023 20:59:28 -0700 Subject: [PATCH] tools/boostrap: Add required mp11. (boost 1.82.0.beta1) --- tools/boostrap.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/boostrap.sh b/tools/boostrap.sh index 88490050d..40ff313af 100755 --- a/tools/boostrap.sh +++ b/tools/boostrap.sh @@ -134,6 +134,7 @@ run git submodule update --init --recursive --checkout libs/container_hash run git submodule update --init --recursive --checkout libs/container run git submodule update --init --recursive --checkout libs/move run git submodule update --init --recursive --checkout libs/math +run git submodule update --init --recursive --checkout libs/mp11 run git submodule update --init --recursive --checkout libs/tokenizer run git submodule update --init --recursive --checkout libs/iterator