Merge pull request #9221 from step21/develop

Added raspbian to install_deps
This commit is contained in:
chriseth
2020-06-18 13:32:36 +02:00
committed by GitHub
+1 -1
View File
@@ -170,7 +170,7 @@ case $(uname -s) in
# Debian
#------------------------------------------------------------------------------
Debian*)
Debian*|Raspbian)
#Debian
. /etc/os-release
install_z3=""