On 1/14/22 17:10, Michael Matz wrote:
You can't have that, the check is correct. There are filesystems (NTFS for instance) that are case-preserving but case-insensitive, on those you really can't have two files that differ only in casing. You need to find a different solution, either consistently use .cc instead of .C, live with the inconsistency or rename the base name of these files.
Thank you for the explanation! I'm going to use a different naming scheme then. Martin
