From 22afe4cb5eabfca8bc12da758abc3b04c8a45c37 Mon Sep 17 00:00:00 2001
From: Mariogrip <mario.grip@gmail.com>
Date: Sat, 2 Aug 2014 23:14:45 +0200
Subject: [PATCH] Add LinuxMint

Adding LinuxMint. LinuxMint is the same as Ubuntu anyway...
---
 distribute.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/distribute.sh b/distribute.sh
index e33404e4ed..917fc5902d 100755
--- a/distribute.sh
+++ b/distribute.sh
@@ -280,7 +280,7 @@ function check_build_deps() {
     DIST=$(lsb_release -is)
 	info "Check build dependencies for $DIST"
     case $DIST in
-		Debian|Ubuntu)
+		Debian|Ubuntu|LinuxMint)
 			check_pkg_deb_installed "build-essential zlib1g-dev cython"
 			;;
 		*)