diff options
author | Bastien Montagne <montagne29@wanadoo.fr> | 2016-02-11 12:19:05 +0300 |
---|---|---|
committer | Bastien Montagne <montagne29@wanadoo.fr> | 2016-02-11 12:21:27 +0300 |
commit | 4cfff68344093a3d0d88cae77a70bac6c8381faf (patch) | |
tree | 9289f2a797da322ae2bf7ddafc05583fb75e2198 /build_files/build_environment/install_deps.sh | |
parent | cbdc72fb355cacd32c1542f11d15d57b11fd2c87 (diff) |
install_deps: fix boost installation on Fedora/Suze & co.
Was only trying to install $BOOST_VERSION or higher boost - being fairly recent
this always failed. We can live with older versions too, so now using
*BOOST_VERSION_MIN as with other distros.
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 2f8714b6e32..10425d3f551 100755 --- a/build_files/build_environment/install_deps.sh +++ b/build_files/build_environment/install_deps.sh @@ -3089,7 +3089,7 @@ install_RPM() { INFO "Forced Boost building, as requested..." compile_Boost else - check_package_version_ge_RPM boost-devel $BOOST_VERSION + check_package_version_ge_RPM boost-devel $BOOST_VERSION_MIN if [ $? -eq 0 ]; then install_packages_RPM boost-devel clean_Boost |