Update install_devtools.sh

This commit is contained in:
Joshua Schnabel
2020-04-28 22:06:45 +02:00
committed by GitHub
parent 02813294bb
commit 6f0c31d338

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 --no-cache --virtual devtools build-base linux-headers udev python python3 apt-get install devtools build-base linux-headers udev python python3
else else
echo "Skip installing devtools" echo "Skip installing devtools"
fi fi