From 5e193e2bfe4347bc9b948645e60f8c75cdc49f42 Mon Sep 17 00:00:00 2001 From: Changcheng Liu Date: Thu, 17 Dec 2020 11:13:35 +0800 Subject: [PATCH] install-deps.sh: install debian package with proper right Signed-off-by: Changcheng Liu --- install-deps.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/install-deps.sh b/install-deps.sh index d92e80d3547..c34789969db 100755 --- a/install-deps.sh +++ b/install-deps.sh @@ -295,11 +295,11 @@ else $SUDO apt-get install -y nlohmann-json-dev ;; *Disco*) - [ ! $NO_BOOST_PKGS ] && apt-get install -y libboost1.67-all-dev + [ ! $NO_BOOST_PKGS ] && $SUDO apt-get install -y libboost1.67-all-dev $SUDO apt-get install -y nlohmann-json-dev ;; - *Focal*) - [ ! $NO_BOOST_PKGS ] && apt-get install -y libboost1.71-all-dev + *Focal*) + [ ! $NO_BOOST_PKGS ] && $SUDO apt-get install -y libboost1.71-all-dev $SUDO apt-get install -y nlohmann-json3-dev ;; *) -- 2.39.5