Thanks for investigating the build issue of shark with mips and for
providing patches. Please consider updating these patches with an
appropriate DEP3 header , otherwise I can't accept them.
One thing I also wonder is how I will know when to drop the MIPS patch?
Will I need to monitor the progress of the bug report you mentioned
myself? Please add as much information as possible in the Description
field of the DEP3 header to help future maintenance.