diff --git a/src/build_scripts/install_deps.bash b/src/build_scripts/install_deps.bash old mode 100755 new mode 100644 index b6ef124..85bad9b --- a/src/build_scripts/install_deps.bash +++ b/src/build_scripts/install_deps.bash @@ -5,4 +5,4 @@ set -ex time sudo apt-get update time sudo apt-get -q install -y \ - boost + libboost-dev