Bug in diff --ignore-file-name-case?

[joop gerritse]

Hello,

I am using diff (GNU diffutils) 2.8.1
to compare files from an e3fs and a VFAT fs.
Since the cases differ, I use:

diff -r --ignore-file-name-case /museum/ /mnt/tmp/backup/museum

but I still see many of these lines:
Only in /museum/adlib/data: DOCUMENT.032
Only in /mnt/tmp/backup/museum/adlib/data: document.032
Only in /museum/adlib/data: DOCUMENT.033
Only in /mnt/tmp/backup/museum/adlib/data: document.033
Only in /museum/adlib/data: FOTEXEL.IMP
Only in /mnt/tmp/backup/museum/adlib/data: fotexel.imp
Only in /museum/adlib/data: FOTOIMPO.IMP
Only in /mnt/tmp/backup/museum/adlib/data: fotoimpo.imp
Only in /museum/adlib/data: MARENE.IMP
Only in /mnt/tmp/backup/museum/adlib/data: marene.imp
Only in /museum/adlib/data: THCRECS1.IMP
Only in /mnt/tmp/backup/museum/adlib/data: thcrecs1.imp

It seems to me that the file name case is not really ignored...

-- 
J.J. Gerritse
Mühlenstraße 11
D-47546 Kalkar-Wissel
Duitsland
+49-2824-971487