Add new name for Mandrake: Mandriva.
diff --git a/Lib/platform.py b/Lib/platform.py
index a860bf8..35a87a8 100755
--- a/Lib/platform.py
+++ b/Lib/platform.py
@@ -240,9 +240,10 @@
# 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):