diff --git a/tools/build/gnome-shell-build-setup.sh b/tools/build/gnome-shell-build-setup.sh index 0a7fa0ad0..ddb5ef453 100755 --- a/tools/build/gnome-shell-build-setup.sh +++ b/tools/build/gnome-shell-build-setup.sh @@ -74,7 +74,7 @@ dpkg_is_installed() { return 1 } -if test x$system = xUbuntu -o x$system = xDebian ; then +if test x$system = xUbuntu -o x$system = xDebian -o x$system = xLinuxMint ; then reqd="" for pkg in \ build-essential curl \