added raspbian

This commit is contained in:
step21 2020-06-17 16:31:22 +02:00
parent 06e1b38d1d
commit 2a0d701f70

View File

@ -170,7 +170,7 @@ case $(uname -s) in
# Debian
#------------------------------------------------------------------------------
Debian*)
Debian*|Raspbian)
#Debian
. /etc/os-release
install_z3=""