From c6cc169b2d94ed1249f4217321512333910cdc11 Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Wed, 4 Jun 2014 19:37:18 +1000
Subject: [PATCH] sb: Support Linux Mint.

This support is provided by m86k-user <linux.jutten@xmsnet.nl>.
---
 source-builder/sb/linux.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source-builder/sb/linux.py b/source-builder/sb/linux.py
index 580e72e..4ab63c5 100644
--- a/source-builder/sb/linux.py
+++ b/source-builder/sb/linux.py
@@ -93,7 +93,7 @@ def load():
             distro = 'redhat'
     elif distro in ['centos', 'fedora']:
         distro = 'redhat'
-    elif distro in ['Ubuntu', 'ubuntu']:
+    elif distro in ['Ubuntu', 'ubuntu', 'LinuxMint', 'linuxmint']:
         distro = 'debian'
     elif distro in ['Arch']:
         distro = 'arch'