Add new name for Mandrake: Mandriva.

diff --git a/Lib/platform.py b/Lib/platform.py
index a860bf838397dacc5700194a51b1210bb35c95c2..35a87a8f3eba9db0dee1bf04fb7b31b8331ab426 100755 (executable)
--- a/Lib/platform.py
+++ b/Lib/platform.py
@@ -240,9 +240,10 @@ _release_version = re.compile(r'([^0-9]+)'
 # and http://data.linux-ntfs.org/rpm/whichrpm
 # and http://www.die.net/doc/linux/man/man1/lsb_release.1.html
 
-_supported_dists = ('SuSE', 'debian', 'fedora', 'redhat', 'centos',
-                    'mandrake', 'rocks', 'slackware', 'yellowdog',
-                    'gentoo', 'UnitedLinux', 'turbolinux')
+_supported_dists = (
+    'SuSE', 'debian', 'fedora', 'redhat', 'centos',
+    'mandrake', 'mandriva', 'rocks', 'slackware', 'yellowdog', 'gentoo',
+    'UnitedLinux', 'turbolinux')
 
 def _parse_release_file(firstline):