--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mozilla-linux3.patch	Sat Jul 23 15:16:24 2011 +0200
@@ -0,0 +1,23 @@
+# HG changeset patch
+# Parent bf7c3e1c6174630743f9f94808c4dd3a2edc0c6b
+diff --git a/toolkit/crashreporter/tools/symbolstore.py b/toolkit/crashreporter/tools/symbolstore.py
+--- a/toolkit/crashreporter/tools/symbolstore.py
++++ b/toolkit/crashreporter/tools/symbolstore.py
+@@ -376,16 +376,17 @@ def GetVCSFilename(file, srcdirs):
+     return (file.replace("\\", "/"), root)
+ 
+ def GetPlatformSpecificDumper(**kwargs):
+     """This function simply returns a instance of a subclass of Dumper
+     that is appropriate for the current platform."""
+     return {'win32': Dumper_Win32,
+             'cygwin': Dumper_Win32,
+             'linux2': Dumper_Linux,
++	    'linux3': Dumper_Linux,
+             'sunos5': Dumper_Solaris,
+             'darwin': Dumper_Mac}[sys.platform](**kwargs)
+ 
+ def SourceIndex(fileStream, outputPath, vcs_root):
+     """Takes a list of files, writes info to a data block in a .stream file"""
+     # Creates a .pdb.stream file in the mozilla\objdir to be used for source indexing
+     # Create the srcsrv data block that indexes the pdb file
+     result = True