From 64bfe0c0b519048dce43f7690a90c646675fb27c Mon Sep 17 00:00:00 2001 From: Brian Kempa Date: Tue, 7 Nov 2023 11:04:32 -0800 Subject: [PATCH] Install `devscripts` for debian build on 20.04 --- scripts/build/build_debian.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/build/build_debian.sh b/scripts/build/build_debian.sh index 5afc1da3..eec80e33 100755 --- a/scripts/build/build_debian.sh +++ b/scripts/build/build_debian.sh @@ -27,6 +27,11 @@ if [ -n "$(git status --porcelain)" ]; then exit -1 fi +# package `devscripts` is required in 20.04 to provide `debuild` +if [ ${DIST} == "focal" ] && [ "$(dpkg -l | awk '/devscripts/ {print }'|wc -l)" -lt 1 ]; then + sudo apt install -y devscripts +fi + EXTRA_FLAGS="-b -aarmhf" # In some cases we may want to build for amd64 (e.g. astrobee-comms for users)