From daf635aa4c59d87fb3352b1700cf3da853824494 Mon Sep 17 00:00:00 2001 From: Anton Dukhovnikov Date: Tue, 31 Oct 2023 16:51:38 +1300 Subject: [PATCH] [CI] Signed-off-by: Anton Dukhovnikov --- src/build_scripts/install_deps.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100755 => 100644 src/build_scripts/install_deps.bash 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