Comment 4 for bug 314254

Revision history for this message
Robert Collins (lifeless) wrote : Re: [Bug 314254] [NEW] external_diff shouldn't use gnu-specific options

On Tue, 2009-01-06 at 09:13 +0000, Martin Pool wrote:
> Having this feature just break is buggy. Various fixes are possible eg:
>
> * document that 'diff' must be GNU diff
>
> * run gdiff or gnudiff or whatever it's called
>
> * only use --binary on platforms where we reasonably expect that diff
> will support it

I'd be inclined to just document that we need a diff supporting
--binary.

-Rob

--
GPG key available at: <http://www.robertcollins.net/keys.txt>.