From ff1121c716f922da4eb7975419141344a2c42170 Mon Sep 17 00:00:00 2001 From: Bastien Montagne Date: Mon, 11 Jan 2016 09:57:32 +0100 Subject: Bah, forgot to increase boost magic number... --- build_files/build_environment/install_deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build_files') diff --git a/build_files/build_environment/install_deps.sh b/build_files/build_environment/install_deps.sh index 9f31929c57b..1d2ca270a97 100755 --- a/build_files/build_environment/install_deps.sh +++ b/build_files/build_environment/install_deps.sh @@ -1042,7 +1042,7 @@ clean_Boost() { compile_Boost() { # To be changed each time we make edits that would modify the compiled result! - boost_magic=8 + boost_magic=9 _init_boost -- cgit v1.2.3