Skip to content

Commit

Permalink
Install devscripts for debian build on 20.04
Browse files Browse the repository at this point in the history
  • Loading branch information
Bckempa committed Nov 7, 2023
1 parent 3b4d9c3 commit 64bfe0c
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions scripts/build/build_debian.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down

0 comments on commit 64bfe0c

Please sign in to comment.