From 95283a60deca6b15765e88ed38a69cdfc39326f6 Mon Sep 17 00:00:00 2001 From: Patrick Seidensal Date: Mon, 16 Sep 2019 14:28:06 +0200 Subject: [PATCH] install-deps.sh: add support for Ubuntu Disco Dingo Signed-off-by: Patrick Seidensal --- debian/control | 2 +- install-deps.sh | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/debian/control b/debian/control index ee63e0c6348..0094c9b4274 100644 --- a/debian/control +++ b/debian/control @@ -74,7 +74,7 @@ Build-Depends: cmake (>= 3.5), # Make-Check python-pecan, # Make-Check python-bcrypt, # Make-Check python-six, -# Make-Check python-tox, +# Make-Check python-tox | tox, # Make-Check python-coverage, # Make-Check python-openssl, # Make-Check python-prettytable, diff --git a/install-deps.sh b/install-deps.sh index 23b6e2f97ab..20feccda342 100755 --- a/install-deps.sh +++ b/install-deps.sh @@ -314,6 +314,9 @@ else ensure_decent_gcc_on_ubuntu 9 bionic [ ! $NO_BOOST_PKGS ] && install_boost_on_ubuntu bionic ;; + *Disco*) + [ ! $NO_BOOST_PKGS ] && apt-get install -y libboost1.67-all-dev + ;; *) $SUDO apt-get install -y gcc ;; -- 2.39.5