[ooo-build] [PATCH] do not patch extensions sources if they are disabled

[Petr Mladek]

Jonathan Nieder píše v St 18. 08. 2010 v 04:42 -0500:
> Petr Mladek wrote:
> 
> > To be more precise. We need to split the diffs into two:
> > 
> > redirect-extensions.diff
> > redirect-extensions-reportbuilder.diff
> > 
> > The second diff should be mentioned in the section [ ExtensionFixes ] in
> > the ooo-build/patches/dev300/apply file.
> 
> Ok, ok. :)
> 
> Untested (will try when the current build finishes or tomorrow,
> whichever comes first).

Cool. You are fast. It looked fine, so I have pushed it. Feel free to
provide more fixes if needed ;-)


Best Regards,
Petr