Bah, forgot to increase boost magic number...
authorBastien Montagne <montagne29@wanadoo.fr>
Mon, 11 Jan 2016 08:57:32 +0000 (09:57 +0100)
committerBastien Montagne <montagne29@wanadoo.fr>
Mon, 11 Jan 2016 08:57:32 +0000 (09:57 +0100)
build_files/build_environment/install_deps.sh

index 9f31929c57b2b9893660160ed581341796985dbe..1d2ca270a97ba6a9faafb1fe0a1261f707563c0d 100755 (executable)
@@ -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