bug#25950: 26.0.50; Ediff can't diff files with quoted file names

[Philipp Stephani]

Philipp Stephani <p.stephani2@gmail.com> schrieb am Fr., 3. März 2017 um 18:38 Uhr:

Philipp Stephani <p.stephani2@gmail.com> schrieb am Fr., 3. März 2017 um 14:50 Uhr:

Assuming that /tmp/{a,b}.py exist:

M-x ediff RET /:/tmp/a.py RET /:/tmp.b.py RET

will result in an error

/usr/bin/diff: /:/tmp/a.py: No such file or directory
/usr/bin/diff: /:/tmp/b.py: No such file or directory

Attached a patch.

 

Pushed as  f4b50dad8d to master.