diff options
| author | Bastien Montagne <montagne29@wanadoo.fr> | 2016-01-11 11:57:32 +0300 |
|---|---|---|
| committer | Bastien Montagne <montagne29@wanadoo.fr> | 2016-01-11 11:57:32 +0300 |
| commit | ff1121c716f922da4eb7975419141344a2c42170 (patch) | |
| tree | b1d966815cc90e9ef6cd1a11f63c3f7f381ff536 /build_files/build_environment/install_deps.sh | |
| parent | b7eebc190560bd1969ed5b11762ebb3133865c5c (diff) | |
Bah, forgot to increase boost magic number...
Diffstat (limited to 'build_files/build_environment/install_deps.sh')
| -rwxr-xr-x | build_files/build_environment/install_deps.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |