--- /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