From 6f7da264bafd2242a671b755255ef6ce1afe65c1 Mon Sep 17 00:00:00 2001 From: Jon Nettleton Date: Sat, 26 Sep 2009 10:14:43 -0700 Subject: [PATCH] Support LinuxMint in the build script LinuxMint is based on Ubuntu, so can be handled with the same package list as Debian and Ubuntu. https://bugzilla.gnome.org/show_bug.cgi?id=596447 --- tools/build/gnome-shell-build-setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 \