Update install_devtools.sh

This commit is contained in:
Joshua Schnabel
2020-04-28 23:58:47 +02:00
committed by GitHub
parent 4477e2b9d8
commit 7c6fa45118

View File

@ -4,7 +4,7 @@ set -ex
# Installing Devtools # Installing Devtools
if [[ ${TAG_SUFFIX} != "minimal" ]]; then if [[ ${TAG_SUFFIX} != "minimal" ]]; then
echo "Installing devtools" echo "Installing devtools"
apt-get install build-essential linux-headers-$(uname -r) udev python python3 apt-get install --yes build-essential linux-headers-$(uname -r) udev python python3
else else
echo "Skip installing devtools" echo "Skip installing devtools"
fi fi